Allow use with grub-efi-amd64 (Closes: #680717)

I didn't consider grub-efi-ia32 because I can't actually test it, and
likely there is almost no hardware that would benefit from this.