For anyone interested: I submitted Andreas Stieger's suggestion from https://bugzilla.suse.com/show_bug.cgi?id=1137056#c1 to GRUB bug tracker: https://savannah.gnu.org/bugs/?57678