CONFIG_DEV_RANDOM depends on CONFIG_ARCH_HAVE_RNG which is selected with...

CONFIG_DEV_RANDOM depends on CONFIG_ARCH_HAVE_RNG which is selected with MCU-specific RNG H/W is enabled.  So correct default is y; you almost certainly want /dev/random as well.