lpc43xx timer utilities

Here are a few definitions for the LPC43xx timer peripherals.