Re: [Xen-devel] [PATCH] xen: setup pv irq ops vector earlier