[coreboot] TPM support for SeaBIOS -- looking for a tester on real hardware