# CONFIG_NTB_MSI is not set