kernel/include/config/TICK_ONESHOT