Re: [libvirt] [PATCH 3/4] xen: fix PyGrub boot device order