diff --git a/src/drivers/pc80/tpm/Kconfig b/src/drivers/pc80/tpm/Kconfig
index 9630de2ac1..279da399b4 100644
--- a/src/drivers/pc80/tpm/Kconfig
+++ b/src/drivers/pc80/tpm/Kconfig
@@ -9,6 +9,7 @@ config LPC_TPM
 config TPM_TIS_BASE_ADDRESS
 	hex "TPM Base Address"
 	default 0xfed40000
+	depends on LPC_TPM
 	help
 	  This can be used to adjust the TPM memory base address.
 	  The default is specified by the TCG PC Client Specific TPM