fix a floppy device name bug in grub-install.
2 files changed