mpc5200: Add a4m2k board port