# CONFIG_SDM_GCC_845 is not set