# CONFIG_PCI_GOBIOS is not set