VMM: moves various helpers to vmx.h