tree 4ed03ef3c8b37ebb8ce69f4b456fef4f6e03693f
parent fb2c09d5162719a72f0fbc533bec0aa3e8458b93
author Michał Żygowski <michal.zygowski@3mdeb.com> 1707835406 +0100
committer Felix Held <felix-coreboot@felixheld.de> 1714132538 +0000

drivers/pc80/tpm: Disable device if TPM not present

If the TPM is not detected in the system it may	mean it	is inactive
due to enabled ME with active PTT. In such case, the chipset will route
the TPM	traffic to PTT CRB TPM on Intel systems.

If TPM is not probed, disable the PC80 TPM device driver, so that
coreboot will not generate improper SSDT ACPI table.

Change-Id: I05972ad74a36abaafa2f17a16f09710550a3a3f3
Signed-off-by: Michał Żygowski <michal.zygowski@3mdeb.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/80455
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Sergii Dmytruk <sergii.dmytruk@3mdeb.com>