[PATCH] ARM: 7467/1: mutex: use generic xchg-based implementation for ARMv6+ : The open-coded mutex implementation for ARMv6+ cores suffers from a