# CONFIG_PCI_XGENE_MSI is not set
