05dc8470b3bf ("tools/memory-model: Document LKMM test procedure")