[Issue 8196] PRNG from ITS#7027 (shuffling DNS SRV records) is poorly seeded