LPC43xx port from Micromint