[PATCH v6 24/27] x86: efi: Round out the link script for 64-bit EFI