# CONFIG_NBL_CORE is not set
