HDK: Add support for LPC SPIFI flash, LPC43xx targets, Micromint Bambino