1## SPDX-License-Identifier: GPL-2.0-only 2 3config CPU_INTEL_MODEL_6FX 4 bool 5 select ARCH_X86 6 select SSE2 7 select UDELAY_TSC 8 select TSC_MONOTONIC_TIMER 9 select AP_IN_SIPI_WAIT 10 select TSC_SYNC_MFENCE 11 select SUPPORT_CPU_UCODE_IN_CBFS 12 select CPU_INTEL_COMMON 13 select CPU_INTEL_COMMON_TIMEBASE 14 select SETUP_XIP_CACHE 15 select EDK2_USE_LAPIC_TIMER if PAYLOAD_EDK2 16