[PATCH] Added optimized ARM RWSEM algorithm.