Merge branch 'lkmm.2022.10.18c' into HEAD

lkmm.2022.10.18c: Linux-kernel memory model (LKMM) updates.