# CONFIG_BOOT_CONFIG is not set
