[P0124R6](https://wg21.link/p0124r6) Linux-Kernel Memory Model (Paul McKenney, Ulrich Weigand, Andrea Parri, Boqun Feng)