Add test to VMPTRST

Add test to VMPTRST and some minor changes.

Arthur