Fixed confusion about __common_ticktime type, redesigned LPC PLC timer support

2009-12-15, edouard