Comment # 9 on bug 956467 from Thomas Renninger

> Thomas, any ideas?
Not really. Sounds really nasty...

Trying out different kernels sounds like a good idea.
First find out whether it has to do with the kernel version at all:
A 13.2 kernel on Leap should verify that.

This is cumbersome, but I have no other idea as well.

You could also try one of these boot paraemeters (from kernel sources,
Documentation/kernel-parameters.txt):
reboot=         [KNL]
                        Format (x86 or x86_64):
                                [w[arm] | c[old] | h[ard] | s[oft] | g[pio]] \
                                [[,]s[mp]#### \
                                [[,]b[ios] | a[cpi] | k[bd] | t[riple] | e[fi]
|
                                p[ci]] [[,]f[orce]
                        Where reboot_mode is one of warm (soft) or cold (hard)
or
                              gpio, reboot_type is one of bios, acpi, kbd,
                              triple, efi, or pci, reboot_force is either force
                              or not specified, reboot_cpu is
                              s[mp]#### with #### being the processor to be
used
                              for rebooting.

Hm, does the platform support UEFI?
If yes, is it used? If supported, but not used, I'll try UEFI.
...