A problem was found on the X8DTT-F motherboard following from our RHEL5.3 mcelog. Do you have a fix for this?
"MCE 0
HARDWARE ERROR. This is *NOT* a software problem!
Please contact your hardware vendor
CPU 1 BANK 8 TSC 8e131b5459c07
MISC 8aa41e0800000b8f ADDR 1d62398c0
STATUS 8c0000400001009f MCGSTATUS 0"
This should be a Linux mcelog decode issue. Please update your mcelog to latest version.