# CONFIG_TARGET_CORE is not set
