Make Xen also install a kernel of the same architecture as the running kernel