Если нет, существует ли какая-либо другая ОС гипервизора, которая их поддерживает?
У Marvell 9480 есть драйверы для RHEL / Fedora, поэтому я думаю, что они должны работать даже под XenServer. Не знаю как.
Мне нравится собирать все в xen из исходников, и когда я это делаю, у меня нет проблем с Xen и некоторыми картами, использующими этот контроллер. Я использую ядро 3.8.5. Использовал это руководство и встроил все не упомянутые xen / virtio / драйверы для моего оборудования: http://blog.tidyhosts.com/index.php/howto-install-xen-dom0-on-centos-6-from-source