# CONFIG_BCMA_HOST_PCI is not set
