I believe this has been working for a while now. At least I think
it's ok with grub-pc 2.02~beta2-33.
--
Francois Gouget <fgouget at free.fr> http://fgouget.free.fr/
If you think the whole world revolves around you,
quit staring at the GPS display while driving.