linux-hardened/drivers/clocksource/Kconfig