# CONFIG_ARCH_TANGO is not set