tools/memory-model: Fix smp_mb__after_spinlock() spelling