The description of option GRKERNSEC_RANDNET says it doubles the entropy pool, whil the code at drivers/char/random.c
seems to say it quadruples it, 512 instead 128 INPUT_POOL_WORDS and 128 instead 32 for OUTPUT.
In addition, would it be worth to increase this further e.g. x16, or is this anyway identical to writting to entropy pool size proc option (except that hardcoded config happens earlier)