Сейчас его где-нибудь еще ставили? Я знаю, что ядро пока размещено на Github.
URL-адрес git, который мы использовали, был: git: //git.kernel.org/pub/scm/linux/kernel/git/jeremy/xen.git.
Не уверен, что это было так, но вы могли бы использовать последнее (> 3.0) ядро, которое включает в себя все функции, необходимые для запуска ядра как dom0.