From 88b10e09b6d752acd78a80014743230b6a1f24ca Mon Sep 17 00:00:00 2001
From: Pranava Y N <pranavayn@google.com>
Date: Wed, 23 Jul 2025 15:56:38 +0530
Subject: [PATCH] mb/google/ocelot: Set TPM_TIS_ACPI_INTERRUPT for all ocelot
 variants

Set `TPM_TIS_ACPI_INTERRUPT` to 49 (GPE0_DW1_17) for all ocelot
variants using `BOARD_GOOGLE_MODEL_OCELOT` instead of
`BOARD_GOOGLE_OCELOT`.

BUG=b:433177132
TEST=Able to boot Ocelot

Change-Id: I662e1b38530861da008cf54da4a31dd0ac6212c8
Signed-off-by: Pranava Y N <pranavayn@google.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/88541
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Nick Vaccaro <nvaccaro@google.com>
Reviewed-by: Avi Uday <aviuday@google.com>
---
 src/mainboard/google/ocelot/Kconfig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mainboard/google/ocelot/Kconfig b/src/mainboard/google/ocelot/Kconfig
index 53c810345e..12d9e9ce67 100644
--- a/src/mainboard/google/ocelot/Kconfig
+++ b/src/mainboard/google/ocelot/Kconfig
@@ -142,7 +142,7 @@ config MEMORY_SOLDERDOWN
 
 config TPM_TIS_ACPI_INTERRUPT
 	int
-	default 49 if BOARD_GOOGLE_OCELOT # GPE0_DW1_17 (GPP_B17)
+	default 49 if BOARD_GOOGLE_MODEL_OCELOT # GPE0_DW1_17 (GPP_B17)
 
 config UART_FOR_CONSOLE
 	int