K 10 svn:author V 4 manu K 8 svn:date V 27 2017-12-27T21:39:57.299387Z K 7 svn:log V 123 arm: Add kern/kern_clocksource.c to files.arm Instead of adding it to every files.vendor, add it to the common arch file. END