The original LPC43xx peripheral driver library sources can be 
found on NXP's website.

At the time of writing, this can be found at the following link:

http://www.lpcware.com/file_filter/nxp?term_node_tid_depth=All&term_node_tid_depth_1=104