Add much of the basic wiring for TDX Guest VSM support. (#541)

Add much of the basic wiring for TDX Guest VSM support. (#541) #192