Re: [PATCH] arm64: zynqmp: Print multiboot register value in EL3