Re: [PATCH] xen/x86: fix initial memory balloon target