Re: [PATCH 01/28] x86/hyperv: use vmalloc_exec for the hypercall page