RE: Floppy drives and Linux BIOS