[Hardware Error]: Machine check events logged (since upgrading to Workstation 11)

Hello,

CPU: Intel(R) Core(TM) i7-4770 CPU @ 3.40GHz

Host: Debian 7 (64 bit)

I've noticed these log entries appearing sporadically after upgrading to Workstation 11:

/var/log/kern.log:

kernel: [220792.810891] [Hardware Error]: Machine check events logged

Then, I've installed mcelog.

/var/log/mcelog:

Hardware event. This is not a software error.
MCE 0
CPU 1 BANK 0
TIME 1418310100 Thu Dec 11 10:01:40 2014
MCG status:
MCi status:
Corrected error
Error enabled
MCA: Unknown Error 5
STATUS 90000040000f0005 MCGSTATUS 0
MCGCAP c09 APICID 2 SOCKETID 0
CPUID Vendor Intel Family 6 Model 60

Does anyone else see these messages?

Thank you,

Alex.