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