# CONFIG_ARCH_DOVE is not set