# CONFIG_ARCH_VULCAN is not set