[PATCH 5.11 183/775] kcsan: Rewrite kcsan_prandom_u32_max() without prandom_u32_state()