Re: [PATCH 1/1] x86/xen: Reset VCPU0 info pointer after shared_info remap