Fix a problem when you specify a Linux devfs floppy device name to grub-install.

util/grub-install.in

@@ -81,6 +81,7 @@ convert () {
 				  -e 's%/part[0-9]*$%/disc%'`
 	tmp_part=`echo "$1" | sed -e 's%.*/[sh]d[a-z]\([0-9]*\)$%\1%' \
 				  -e 's%.*/fd[0-9]*$%%' \
+				  -e 's%.*/floppy/[0-9]*$%%' \
 				  -e 's%.*/\(disc\|part\([0-9]*\)\)$%\2%'`
 	;;
     gnu*)