# CONFIG_HAVE_POSIX_CPU_TIMERS_TASK_WORK is not set
