Re: [PATCH] ARM: zynq: Sync Microzed board with Linux kernel