Re: [PATCH v3 3/4] arm64: Add support for larger PIE U-Boot