Re: [PATCH v2 04/23] xen/arm: sync_bitops