Today we fixed a bug which caused MSI-X passthrough not to work; patch is attached. Now MSI-X passthrough seems to be working, at least we can ping MSI-X-enabled Ethernet (Intel Corporation 82576) and Infiniband (Mellanox Technologies MT26438) cards and run some MPI tests.