[Bug 213838] Selecting Xen pattern does not create a GRUB boot entry for it