# CONFIG_X86_INTEL_QUARK is not set