Clarify SETUP-nVMX.txt