i get a MCE with heads and the T430 when running 3740 CPU. I will check if its the same MCE as yours. I have a 2nd t430 and a 2nd 3740 CPU here so if they both do it with the exact same error, its likely something to do with Coreboot
normally a MCE is down to damage to the CPU (previous heat damage etc) but it would be weird if three different T430s with three different CPUs had the exact same MCE
i get a MCE with heads and the T430 when running 3740 CPU. I will
check if its the same MCE as yours.
That would confirm my suspicions. Initial online research shows that
this is a somewhat common error folks see when switching to Linux. They
also all report their CPU working just fine.
It might have to do with the CONFIG_INTEL_PMC_CORE kernel parameter
and/or the OPTIONAL_TABLE stuff in Heads.