Merge branch 'lkmm.2021.05.10c' into HEAD

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