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 (md5i at md5i.com)