## SPDX-License-Identifier: GPL-2.0-only

config CPU_INTEL_MODEL_1067X
	bool
	select ARCH_X86
	select SSE2
	select UDELAY_TSC
	select TSC_MONOTONIC_TIMER
	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