[PATCH 4.9 039/264] random: only read from /dev/random after its pool has received 128 bits