[Bug 372554] Yast vm tool installs kernel-xen instead of kernel-xenpae