MAINTAINERS: set up proper record for Xilinx Zynq