(In reply to Guillaume GARDET from comment #6) > Still the case with > openSUSE-Tumbleweed-ARM-JeOS-raspberrypi3.aarch64-2019.12.16-Snapshot20200102 > > How could I help to debug this? I think kernel calls to EFI to do the reboot. So we would need to find out what happens in U-Boot that it does not invoke a reboot through the EFI stub. You could start to add printfs to see what the difference is.