MPC533: 32-bit Microcontrollers