squeeze a few more bits of randomness into /dev/random

Change-Id: Ida30c33985411f353c828b43ea26ca1b7e6502af
1 file changed