Eu tentei atualizar o BIOS, desabilitar o hyperthreading, adicionar xen.efi ao seu local apropriado no Ubuntu, construir o xen a partir da fonte, etc.
a Xen panic stating "IO-APIC + timer doesn't work!"
Alguém sabe como superar esse erro? Meu computador não pode ser executado no modo legado, portanto não consigo inicializar o xen por padrão.