# CONFIG_SC_GCC_7280 is not set
