# CONFIG_PCI_GOOLPC is not set