https://bugzilla.suse.com/show_bug.cgi?id=1208003 https://bugzilla.suse.com/show_bug.cgi?id=1208003#c19 --- Comment #19 from Steffen Winterfeldt <snwint@suse.com> --- Running an x86 (64 bit) install on 32 bit EFI left more or less a mess of various EFI boot files on the EFI partition. Manual fixing was needed. -- You are receiving this mail because: You are on the CC list for the bug.