Add rtc clock based on NXP RTC in the LPC32XX
CPUs: Add GetTicks function.