Re: [PATCH] xen: fix xen_qlock_wait()