disabling spinlocks by default under linux, good performance now also without them