[PATCH 1/2] xen: fix setting of max_pfn in shared_info