Parece que você criou um kernel de 64 bits em vez de um xen. Você precisa ter certeza de que as seguintes configurações estão corretas:
CONFIG_HYPERVISOR_GUEST=y (3.10+ only)
CONFIG_PARAVIRT=y
CONFIG_XEN=y
CONFIG_PARAVIRT_GUEST=y
CONFIG_PARAVIRT_SPINLOCKS=y
E suporte ao dispositivo de console Xen pv (Drivers de dispositivo | Dispositivos de caractere)
CONFIG_HVC_DRIVER=y
CONFIG_HVC_XEN=y
E suporte a disco e rede Xen (Drivers de dispositivos | Bloquear dispositivos e Drivers de dispositivos | Suporte a dispositivos de rede)
CONFIG_XEN_FBDEV_FRONTEND=y
CONFIG_XEN_BLKDEV_FRONTEND=y
CONFIG_XEN_NETDEV_FRONTEND=y
E o resto (drivers de dispositivo | suporte ao driver Xen)
CONFIG_XEN_PCIDEV_FRONTEND=y
CONFIG_INPUT_XEN_KBDDEV_FRONTEND=y
CONFIG_XEN_FBDEV_FRONTEND=y
CONFIG_XEN_XENBUS_FRONTEND=y
CONFIG_XEN_SAVE_RESTORE=y
CONFIG_XEN_GRANT_DEV_ALLOC=m
Então você precisa construir o kernel com:
make all -j <2*number_of_cores>
Para criar um pacote deb, use apenas make deb-pkg
.
Fonte: