[OS-BUILD PATCHv2] Enable TDX Guest driver