This patch may help your issue with the default kernel setting on Fedora 30 as it uses the setting of saved_entry or next_entry from the grubenv file to choose the default kernel which should override any setting picked up from if clauses in the grub.cfg file.
I have only done limited and somewhat imperfect testing on it and isn't a proper fix (which would use grubenv settings based on what is in the if clauses) but I think it should work in your case. Michael Young _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel