# CONFIG_ARCH_K3 is not set