[PATCH 1/2] random: only read from /dev/random after its pool has received 128 bits