[coreboot-gerrit] Change in coreboot[master]: HACK: Herobrine: Reinit TPM INT gpio in setup_usb()