1## SPDX-License-Identifier: GPL-2.0-only 2 3config CPU_INTEL_MODEL_F4X 4 bool 5 select ARCH_X86 6 select SUPPORT_CPU_UCODE_IN_CBFS 7 select SSE2 8