# CONFIG_SC_GPUCC_8280XP is not set
