# CONFIG_SC_GCC_8180X is not set
