[kern] be extra careful to make sure VT-x is available (some BIOSes disable it without clearing other VT-x features from CPUID)
[kern] be extra careful to make sure VT-x is available (some BIOSes disable it without clearing other VT-x features from CPUID)

project-dune/dune,project-dune/dune,project-dune/dune,project-dune/dune