# CONFIG_CRYPTO_DRBG_MENU is not set