Re: [PATCH 03/10] soc: xilinx: zynqmp: Add machine identification support