[PATCH 4.19 005/234] random: only read from /dev/random after its pool has received 128 bits