On x86_64, enable the additional target x86_64-pep. This will allow Xen to build it's EFI bootloader.