[coreboot] TPM device has gone missing