Added optimized ARM RWSEM algorithm.

Change-Id: I340d80a663a7db3ac87f5c33cb21273b14fbeafa
config: enable RWSEM_XCHGADD_ALGORITHM

Change-Id: I5e539832f78ee0cb4127e6b905c4f63a8ad75e97