[PATCH 1/4] prandom.h: add *_state variant of prandom_u32_max