prereq: ../../../tests/check_vmx_cap
prog: testVMX