[PATCH v3 04/25] xen/arm: sync_bitops