# CONFIG_ARCH_IPQ40XX is not set