zephyr/drivers/timer/Kconfig.leon_gptimer