x86, locking/spinlocks: Remove ticket (spin)lock implementation