Well okay, maybe you can (both) help and find out how to detect the dell BIOS under linux. Klaus Knopper can add a warning screen.

Good idea?