# CONFIG_SM_DISPCC_8650 is not set
