Comment # 1 on bug 1028027 from Gerald Hofer

I just upgrade my system to Tumbleweed an I get the same errors with kernel
4.10.1-1-default:

gerald6:~ # uname -a
Linux gerald6.site 4.10.1-1-default #1 SMP PREEMPT Sun Feb 26 12:43:10 UTC 2017
(1ecd5af) x86_64 x86_64 x86_64 GNU/Linux

dmesg:
[ 1290.086584] mce: [Hardware Error]: Machine check events logged
[ 1290.086596] mce: [Hardware Error]: CPU 1: Machine Check: 0 Bank 128:
0000000088040002
[ 1290.086614] mce: [Hardware Error]: TSC 33008c43e94 
[ 1290.086631] mce: [Hardware Error]: PROCESSOR 0:306a9 TIME 1488780069 SOCKET
0 APIC 1 microcode 1c
[ 1290.086647] mce: [Hardware Error]: CPU 0: Machine Check: 0 Bank 128:
0000000088040002
[ 1290.086661] mce: [Hardware Error]: TSC 33008c4953d 
[ 1290.086673] mce: [Hardware Error]: PROCESSOR 0:306a9 TIME 1488780069 SOCKET
0 APIC 0 microcode 1c