Comment # 15 on bug 1177009 from Neil Rickert

A followup to my last comment.

In final paragraph, I mentioned that Takashi has older kernels.  I found that
information in bug 1175908

I have tried several of those older kernels in Tumbleweed with ia32 efi
booting.  I used "linuxefi" in my attempts to boot.

kernel-default-5.6.15-1.1.gbfa465b.x86_64.rpm
kernel-default-5.5.13-1.1.g0af205d.x86_64.rpm
kernel-default-5.4.14-1.1.gfc4ea7a.x86_64.rpm

Those all boot without a problem.  However:

kernel-default-5.3.12-1.1.g60a2268.x86_64.rpm

will not boot with "linuxefi".

It looks as if there was a change between 5.3 kernels and 5.4 kernels.