revise the fix for floppy device handling in grub-install.
3 files changed