# CONFIG_INTEL_MID_PTI is not set
