seed_rng: add a missing part of boost uint32_t include