[coreboot-gerrit] Change in coreboot[master]: acpi/tpm: remove non-existent IRQ for Infineon TPM chip