# CONFIG_HW_RANDOM_CCTRNG is not set