RaspberryPi BSP now supports libmm. Share mm.c between realview, xilinx_zynq, and raspberry