https://bugzilla.suse.com/show_bug.cgi?id=1178338 https://bugzilla.suse.com/show_bug.cgi?id=1178338#c4
Steffen Winterfeldt snwint@suse.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |CONFIRMED
--- Comment #4 from Steffen Winterfeldt snwint@suse.com --- Ok, thanks.
In that case adding bootia32.efi would be sufficient for the install media to boot. Should be a relatively straightforward change.