ARM-spinlock: use ticket algorithm for ARMv6+ locking implementation