arm64/efi: move EFI_PAGE definitions to efi/memory.h