Re: [PATCH 1/2] xen: fix race in xen_qlock_wait()