tools/memory-model: Fix ISA2+pooncelock+pooncelock+pombonce name