I'm not sure if this can still be reproduces but I've found a workaround
quite a while ago. The problem disappeared once I migrated the virtual
machines using 32 bit OS images to 64 bit. The mix of 32 and 64 bit VMs
was the causing these problems at least on my server.
--
You received this bug no
mce=ignore_ce indeed "fixes" the messages. However, it will mask real
(important) errors as well.
Since Intel can't or won't correct the bug with a microcode update, how
about filtering it in the kernel?
http://svnweb.freebsd.org/base/head/sys/x86/x86/mca.c?r1=269052&r2=269051&pathrev=269052
--