# CONFIG_ARCH_KS8695 is not set