# CONFIG_HW_RANDOM_ARM_SMCCC_TRNG is not set
