xen: fix x86 build.