Re: [U-Boot] zynq: ps7_init_gpl.c