1  ## SPDX-License-Identifier: GPL-2.0-only
 2  
 3  config 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