urandom-seed: use seedrng for seeding the random number generator