K 10 svn:author V 6 davide K 8 svn:date V 27 2012-07-16T00:21:05.993512Z K 7 svn:log V 110 Refactor a comment in kern_clocksource.c to explain the need of an apparently duplicate check on event times. END