# CONFIG_ARCH_U8500 is not set