Fixed confusion about __common_ticktime type, redesigned LPC PLC timer support