arm: use RWSEM_XCHGADD_ALGORITHM
Xens_config: update