fix a floppy handling bug in grub-install.
3 files changed