Re: [Kimchi-devel] [PATCH][Kimchi 1/2] Change memory hotplug to support more than 32GB