# Disable RNG to avoid OPTEE Activation
# CONFIG_HW_RANDOM_OPTEE is not set