# CONFIG_PCI_HOST_GENERIC is not set