# CONFIG_SC_GCC_7180 is not set