[coreboot] [help] A K8/RS780/SB710 board MCE error