tools/memory-model: Add smp_mb__after_srcu_read_unlock()