Changes to HVRM tutorial for 3.11