[PATCH 04/10] xilinx: zynqmp: Use soc machine function to get silicon idcode name