zephyr/drivers/timer/Kconfig.mips_cp0