Из-под dom0 микрокод конвенциональными методами (типа microcode_ctl) не обновляется. Но xen начиная с 4.2 умеет обновлять микрокод сам. Увы, документация практически никакая, поэтому вот мои 5 копеек.
Уже много копий переломано и текста понаписано (http://habrahabr.ru/post/149416/, http://habrahabr.ru/post/137327/, http://forums.linuxmint.com/viewtopic.php?t=112013&f=42), но я решил добавить 5 копеек для полноты картины (и чтобы самому не забыть) Карточка пробрасывается как второй видеоадаптер.