## SPDX-License-Identifier: GPL-2.0-only config CPU_INTEL_MODEL_6FX bool select ARCH_X86 select SSE2 select UDELAY_TSC select TSC_MONOTONIC_TIMER select AP_IN_SIPI_WAIT select TSC_SYNC_MFENCE select SUPPORT_CPU_UCODE_IN_CBFS select CPU_INTEL_COMMON select CPU_INTEL_COMMON_TIMEBASE select SETUP_XIP_CACHE select EDK2_USE_LAPIC_TIMER if PAYLOAD_EDK2