# CONFIG_WARN_ALL_UNSEEDED_RANDOM is not set