# CONFIG_PCI_FTPCI100 is not set