Merge branch 'kcsan.2021.07.20c' into HEAD

kcsan.2021.07.20c: Kernel concurrency sanitizer (KCSAN) updates.