Re: [PATCH 1/2] x86/xen: move xen_reserve_extra_memory()