# CONFIG_RANDOM_TRUST_BOOTLOADER is not set