[Bug 939544] Installing xen pattern doesn't install kernel-xen