LPC43xx port from Micromint

This is an mbed port to the LPC43xx tested with the Micromint Bambino 200. Some details are available in the README file

mbed/libraries/mbed/vendor/NXP/LPC43XX/README.txt

This port is still in development. Besides bug fixes there are two major changes planned for the next few weeks:

1. Support for Ethernet, USB and microSD filesystems when the Bambino 200E is shipping.

2. Use the mbed SDK with the slave M0 core.We can build mbed M0 binaries (using an external project file) but some changes are required in the startup so they can be started from the master M4 core.

Regards,
Jesus Alvarez