Comment # 7 on bug 1011254 from Brendan Scott

Neither kernel works. I have tried:

kernel-default-4.1.35-12.1.g2e75991.x86_64.rpm  and
kernel-default-4.8.10-1.1.gd1ec066.x86_64.rpm

These are on my computer-as-installed not the install usb.

The fail time of the reboots is inconsistent. The longest is about 6 seconds.
Most are around 3. 

I have another, older bug request relating to random reboots (fixed by
nohz=off) here that may be relevant and never got fully diagnosed:
https://bugzilla.opensuse.org/show_bug.cgi?id=990003

Fwiw nohz=off does not work in this case.