Markus Schade

While that may allow removing shim, grub has been modified in these distributions and can no longer create an EFI binary. https://bugzilla.redhat.com/show_bug.cgi?id=1917213

Thank you for the info. Now we have to wait and see if this change will get picked up by the RHEL-clones