VMM: Add a gva2gpa() helper