Add additional examples in Documentation/spinlocks.txt