Comment 1 for bug 720558

I'm investigating this and trying to determine whether a fix in grub2 is sufficient or whether it needs a fix in grub-installer as well. I expect that the grub2 part of this is bug 623609, so I may end up marking this bug as a duplicate of that after further investigation.