random32: make prandom_u32() output unpredictable