mm/: rename random32() to prandom_u32()