[opensuse-factory] Can 32 bit EFI boot be added to x86 32Bit Tumbleweed