Comment # 2 on bug 1028027 from Gerald Hofer

Same with 4.10.1-1-vanilla:

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

[  393.164708] mce: [Hardware Error]: Machine check events logged
[  393.164719] mce: [Hardware Error]: CPU 0: Machine Check: 0 Bank 128:
0000000088040002
[  393.164720] mce: [Hardware Error]: TSC fd0b61447e 
[  393.164723] mce: [Hardware Error]: PROCESSOR 0:306a9 TIME 1488874909 SOCKET
0 APIC 0 microcode 1c
[  393.164724] mce: [Hardware Error]: CPU 1: Machine Check: 0 Bank 128:
0000000088040002
[  393.164726] mce: [Hardware Error]: TSC fd0b617dba 
[  393.164728] mce: [Hardware Error]: PROCESSOR 0:306a9 TIME 1488874909 SOCKET
0 APIC 1 microcode 1c