[Merge] lp:~vorlon/debian-installer/signed-efi-grub-image into lp:~ubuntu-core-dev/debian-installer/ubuntu

[Colin Watson]

Review: Approve

Works fine after I fixed up grub2 itself to embed a useful config file in gcdx64.efi, and made a small source -> configfile tweak to avoid a duplicated menu.

Deferring worrying about trust path for now as this will all be in-DC in practice.
-- 
https://code.launchpad.net/~vorlon/debian-installer/signed-efi-grub-image/+merge/128645
Your team Ubuntu Core Development Team is subscribed to branch lp:~ubuntu-core-dev/debian-installer/ubuntu.