[PATCH 09/13] ARM: mark cmpxchg and xchg __always_inline for gcc-4.3