Clean lpc15xx timer code