[PATCH v5 04/17] xen/arm: sync_bitops