VMM: EPT checks, init, and basic usage