[coreboot-gerrit] Change in coreboot[master]: WIP: Herobrine: fix TPM INT trigger to match CB:56901 (ACTIVE HIGH)