hashdrbg: Use /dev/urandom, only use /dev/random when requested.