MCF5441X: 32-bit microprocessor