Re: [PATCH v3 4/4] xen: add helpers to allocate unpopulated memory