# CONFIG_SC_DISPCC_7180 is not set