# CONFIG_RANDOM_TRUST_CPU is not set