x86: rename random32() to prandom_u32()