# CONFIG_CORESIGHT is not set