# CONFIG_ARCH_BST is not set
