Can't boot on ODROID C2 anymore

Since around April, Tumbleweed won’t boot on the ODROID C2[1] anymore, even though it used to work before.
The official image[2] works fine. What could be the issue?
I tried flashing the image both on Linux with the provided one-liner

xzcat [image].raw.xz | dd bs=4M of=/dev/sdX iflag=fullblock oflag=direct; sync

and on Windows with Etcher, to no avail.

[1]
https://en.opensuse.org/HCL:OdroidC2

[2]
https://wiki.odroid.com/getting_started/os_installation_guide#tab__odroid-c2

I just tested an older TW snapshot (20190108) that I still had and that one worked fine. Then I upgraded from that to 20190725 and it won’t boot anymore…

The kernel from that older (20190108) snapshot should still be on your system. Can you boot to that?

(Use the “Advanced” submenu to choose which kernel to boot).

No, I don’t even get to any GRUB menu.

Is this using UEFI booting or traditional BIOS booting?

If it is set for UEFI booting, is secure-boot enabled or disabled?

On thinking about this, my best guess is that you are using UEFI booting, and a recent change to grub is somehow incompatible with your BIOS. Please note that this is only a guess.

If I’m correct, then there may be an easy workaround.