Fixup Xilinx_zynq BSP to support libmm