emaste added a comment. With this change the EFI bootloader links, although it does not work. The UEFI firmware reports "Error reported: Invalid Parameter" when it tries to execute the lld-linked BOOTx64.efi. To be investigated. https://reviews.llvm.org/D26161