Re: [PATCH 2/2] xen: make xen_qlock_wait() nestable