TPM/TXT: tboot log cannot be read