K 10
svn:author
V 3
ian
K 8
svn:date
V 27
2014-04-02T17:34:17.866154Z
K 7
svn:log
V 311
Fix build breakage.  Apparently all ARM configs build kern_et.c, but only a
few of them also build kern_clocksource.c.  That strikes me as insane, but
maybe there's a good reason for it.  Until I figure that out, un-break
the build by not referencing functions in kern_clocksource if NO_EVENTTIMERS
is defined.

END