[opensuse] Re: boot32.efi for 64 bits processor and Leap