[PATCH] ARM SMP: __xchg support