Run grub-install using --no-floppy, as requested by gebi