[PATCH] ARM SMP: Fix ARMv6 spinlock and semaphore implementations