Switch from hand-rolled DRBG to HMAC_DRBG