Simplifying code

Depends on github.com/cloudescape/govmx/pull/14