The firmware bug might be solved by flashing the latest BIOS (if there is any), which might be a good idea to do this anyway.
Look at this topic to learn about the virt/tdx message:
For the VMX and SGX , I would suggest to do any research yourself by looking for “cpu vmx” and “cpu sgx”