[Linaro-uefi] [PATCH v3 1/4] arm64: Add and export some accessor functions for xen boot