K 10
svn:author
V 3
ian
K 8
svn:date
V 27
2014-05-17T20:22:22.991625Z
K 7
svn:log
V 257
MFC 264054, 264056

  Switch imx6 to using the mpcore per-cpu event timers, but continue to use
  the GPT timer, which is fixed-frequency, as a timecounter.

  Change NO_EVENTTIMERS from an arm-specific to an MI option, so that it can
  be used in MI code.

END