segmentation fault mit xen-Kernel in dom0