# CONFIG_PCI_GOMMCONFIG is not set