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