# CONFIG_CPU_ISOLATION is not set