diff --git a/src/mainboard/google/hatch/Kconfig b/src/mainboard/google/hatch/Kconfig index a4e91b6b0a..548a8a69a9 100644 --- a/src/mainboard/google/hatch/Kconfig +++ b/src/mainboard/google/hatch/Kconfig @@ -188,4 +188,8 @@ config VBOOT config USE_PM_ACPI_TIMER default n +config TIANOCORE_BOOT_TIMEOUT + int + default 5 if BOARD_GOOGLE_BASEBOARD_PUFF + endif # BOARD_GOOGLE_HATCH_COMMON