K 10 svn:author V 3 ian K 8 svn:date V 27 2014-04-02T21:06:43.956719Z K 7 svn:log V 133 Switch imx6 to using the mpcore per-cpu event timers, but continue to use the GPT timer, which is fixed-frequency, as a timecounter. END