Floppy drives and Linux BIOS