# CONFIG_GENERIC_CPU_DEVICES is not set
