64位dom0 32位domu xen

这种方式下，有时候domu会启动不起来，我遇到此情况发现把selinux关掉就可以工作。初步怀疑selinux对64位CPU进入32位虚拟模式有一定限制，未尝深究。