MPC5125: 32-bit microprocessor