A boot clocksource and clockevent source are also currently needed, unless the relevant platforms (ARM AT91, AVR32 AT32) are changed so this code can be used when init_timers() is called, well before most devices are set up.