Merge branch 'lkmm.2021.07.27a' into HEAD

lkmm.2021.07.27a: Linux-kernel memory model (LKMM) updates.