Add optimized ARM RWSEM algorithm by Ezekeel - taken from Motley Nexus 7 Kernel