# CONFIG_IPQ_GCC_806X is not set