# CONFIG_BCMA_HOST_PCI_POSSIBLE is not set
