add dts config

hc

2023-12-06 08f87f769b595151be1afeff53e144f543faa614

 kernel/tools/memory-model/litmus-tests/MP+poonceonces.litmus
..
..
@@ -1,7 +1,7 @@
1
1
 C MP+poonceonces
2
2
 
3
3
 (*
4
- * Result: Maybe
4
+ * Result: Sometimes
5
5
  *
6
6
  * Can the counter-intuitive message-passing outcome be prevented with
7
7
  * no ordering at all?