LPC43xx port from Micromint
merge LPC43xx port from Micromint