This embeds the type of the building system's firmware at build time, causing different checksums on UEFI vs BIOS machines. Fixes #463
We use grub-2.06 as 2.12 has some packaging issues, and can't be built in live-bootstrap for now.