[PATCH] ARM SMP: Use exclusive load/store for __xchg