tools/memory-model: Add SRCU support