# CONFIG_SM_GCC_8550 is not set
