random.c/random.h: push extra entropy to the output pools