On Tue, Dec 17, 2013 at 05:40:30PM -0800, Olof's autobuilder wrote:
efm32_defconfig: drivers/clocksource/time-efm32.c:162: undefined reference to `clocksource_mmio_init' drivers/clocksource/time-efm32.c:274: undefined reference to `clocksource_mmio_readl_up'
Missing select statement?