# CONFIG_ARCH_WM8850 is not set