Increase spinlock pool size

[msimberg]

We currently use a spinlock pool for all thread_data locks. The default size of the pool is 128 locks. With large CPUs like the Grace 72-core CPUs, the default may be a bit cramped. We should consider increasing the default if it doesn't negatively affect smaller core counts. This needs some benchmarks to verify the effect.