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