Merge branch 'lkmm.2021.05.10c' into HEAD lkmm.2021.05.10c: Linux-kernel memory model (LKMM) updates.