linux-pinenote/drivers/clocksource/Kconfig