clocksource: Provide timekeeping for efm32 SoCs