Comment 11 for bug 392136

Manually editing the device.map doesn't help. I found some discussion of this on grub-devel, notably http://lists.gnu.org/archive/html/grub-devel/2009-07/msg00099.html which purports to be a good patch.

I tried to rebuild grub-common with the patch applied. It applies (with some hunks moved about) but I got an error during the configuration of the build about grub-emu that I couldn't figure out how to work around. Colin, would you take a look?