[PATCH v4 04/24] xen/arm: sync_bitops