Veja também: link
Já foi colocado em algum outro lugar por enquanto? Eu sei que o Kernel foi colocado no Github por enquanto.
A URL do git que estávamos usando era, git: //git.kernel.org/pub/scm/linux/kernel/git/jeremy/xen.git
Não tenho certeza se foi, mas você poderia usar um kernel recente (> 3.0) que inclui toda a funcionalidade necessária para executar o kernel como dom0.