https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux...
not sure that's used for /dev/random/ but I thought it was, but the question is when because early in the boot process that may not be loaded. There was also a general distrust of vendor specific hardware randoms in the past IIRC.