Turn off CONFIG_PCI_MSI in xenomai configs