Comment # 13 on bug 911587 from Ulrich Windl

Created attachment 734264 [details]
Output of dmesg (openSUSE LEap 42.2)

The essential information from dmesg should be:
[    0.000000] Linux version 4.4.74-18.20-default (geeko@buildhost) (gcc
version 4.8.5 (SUSE Linux) ) #1 SMP Fri Jun 30 19:01:19 UTC 2017 (b5079b8)
[    0.000000] DMI: ASUS All Series/Z87-C, BIOS 2103 08/15/2014
[    0.068186] smpboot: CPU0: Intel(R) Core(TM) i7-4790K CPU @ 4.00GHz (family:
0x6, model: 0x3c, stepping: 0x3)
[    0.097645] NMI watchdog: enabled on all CPUs, permanently consumes one
hw-PMU counter.
[   20.201534] iTCO_vendor_support: vendor-support=0
[   20.201756] iTCO_wdt: Intel TCO WatchDog Timer Driver v1.11
[   20.201777] iTCO_wdt: Found a Lynx Point TCO device (Version=2,
TCOBASE=0x1860)
[   20.201848] iTCO_wdt: initialized. heartbeat=30 sec (nowayout=0)