amd64: Provide UEFI format image

Based on a discussion in the IRC, there is an interest in having an amd64 image in UEFI format.

Most modern computers now ship with UEFI with CSM disabled/not present, and this is indeed kind of confusing to beginners.