Hello! This series provides KCSAN updates involving random32.
1. Rewrite kcsan_prandom_u32_max() without prandom_u32_state(),
courtesy of Marco Elver.
2. Re-enable KCSAN instrumentation, courtesy of Marco Elver.
Thanx, Paul
------------------------------------------------------------------------
kernel/kcsan/core.c | 26 +++++++++++++-------------
lib/Makefile | 3 ---
2 files changed, 13 insertions(+), 16 deletions(-)

