Forgot this earlier; delete the old /dev/random driver, bring in the
header for the new.
Reviewed by: dfr