[PATCH 04/24] xen/arm: sync_bitops