# CONFIG_SC_VIDEOCC_7280 is not set
