[Bug 825528] grub2-mkconfig doesn't find kernel in xen domU