LPC11Uxx timer driver