K 10
svn:author
V 3
ian
K 8
svn:date
V 27
2014-04-02T19:51:29.551625Z
K 7
svn:log
V 303
Change NO_EVENTTIMERS from an arm-specific to an MI option, so that it can
be used in MI code.

This is intended as a temporary measure to unbreak the build.  The real fix
is to write event timer drivers for legacy arm hardware, then get rid of
this option completely.  That's going to take a few days.

END