As in bug #500157, I followed the directions in http://wiki.debian.org/de/GRUB2/Anleitung/DebianPaketVonOriginalQuelltext to rebuild a debian package from the upstream grub2 sources. This appears to have solved my problem.
-- Michael Welsh Duggan ([EMAIL PROTECTED]) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
