# CONFIG_GENERIC_CPU is not set