Felizmente, o problema foi encontrado em nossa configuração.
Após fixar um núcleo da CPU no Dom0 (em vez de iniciar com o parâmetro nosmp
) nas opções do grub com
GRUB_CMDLINE_XEN_DEFAULT="dom0_mem=1024M dom0_max_vcpus=1 dom0_vcpus_pin"
Todos os sistemas operacionais convidados estão funcionando de forma saudável e rápida. :)