kernel-fxtec-pro1x/drivers/clocksource/Kconfig