payloads/edk2: Disable the CPU Timer Lib unless supported

[coreboot.git] / src / mainboard / siemens / chili / Kconfig.name

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

comment "CHILI"

config BOARD_SIEMENS_CHILI_BASE
        bool "-> Base board"

config BOARD_SIEMENS_CHILI_CHILI
        bool "-> Chili (AiO)"