[PATCH] __cmpxchg() must really always be inlined on alpha