Merge branch 'lkmm-dev.2022.06.12a' into HEAD

lkmm-dev.2022.06.12a: Linux-kernel memory model development branch.