Add initial UEFI platform code (currently 64-bit x86 only)

Adds the initial build infrastructure for UEFI platforms, and an
efi-amd64 configuration to build the loader to run under UFEI on 64-bit
x86 systems. Since UEFI supports multiple architectures, the UEFI
platform is split into generic and architecture dependent code.