port MPC56xx