drivers/crb: Generate TPM PPI ACPI code

The TPM PPI code was only generated for memory mapped non-CRB TPMs.
There is no reason why CRB TPM should not have the PPI, e.g. PTT.
Call the relevant method to add the PPI to SSDT.

Signed-off-by: Michał Żygowski <michal.zygowski@3mdeb.com>
Change-Id: I3d3f08ea686c95ef75ae8fe7a5dcf16f7492ce68
Reviewed-on: https://review.coreboot.org/c/coreboot/+/64422
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Sean Rhodes <sean@starlabs.systems>
diff --git a/src/drivers/crb/tis.c b/src/drivers/crb/tis.c
index 800d145..95b0656 100644
--- a/src/drivers/crb/tis.c
+++ b/src/drivers/crb/tis.c
@@ -5,6 +5,7 @@
 #include <acpi/acpigen.h>
 #include <device/device.h>
 #include <drivers/intel/ptt/ptt.h>
+#include <drivers/tpm/tpm_ppi.h>
 
 #include "tpm.h"
 #include "chip.h"
@@ -115,6 +116,9 @@
 
 	acpigen_write_resourcetemplate_footer();
 
+	if (!CONFIG(CHROMEOS) && CONFIG(TPM_PPI))
+		tpm_ppi_acpi_fill_ssdt(dev);
+
 	acpigen_pop_len(); /* Device */
 }