We tried to install tboot and we always get IA32_FEATURE_CONTROL_MSR = 9 so the bit locked is fixed at 1.
We have a DQ45CB and we updated the latest BIOS version (0129). IIt
is supposed to support TPM,TXT and VT-d.
We are using the ACM Q45_Q43_SINIT_19.BIN and the latest version of tboot (20101005).
How can we provide the BIOS to change the IA32_FEATURE_CONTROL_MSR to enable SMX?