[PATCH v8 22/25] x86: efi: Round out the link script for 64-bit EFI