# CONFIG_IPQ_GCC_6018 is not set