Accessing a Goldmont-based CPU in Red Unlock mode allowed the researchers to extract a special ROM area known as the MSROM, short for microcode sequencer ROM. From there, they embarked on the painstaking process of reverse-engineering the microcode. After months of analysis, it revealed the update process and the RC4 key it uses. The analysis, however, didn’t reveal the signing key Intel uses to cryptographically prove the authenticity of an update.как обычно 'ученый изнасиловал журналиста'
p.s. на сколько я знаю xen умеет, а еще лучше в качестве хоста использовать полноценную linux os, будет больше выбора в конфигурациях, гипервизорах и просто удобнее