Some fixes to AMD64 VMM