# CONFIG_SC_DISPCC_8280XP is not set
