======================================================
You can decode MCE output from the FreeBSD kernel by
using the following command:

  mcelog --no-dmi --ascii --file /path/to/log

Or if you wish to paste the MCE via stdin:

  mcelog --no-dmi --ascii
  {...paste MCE and send EOF/press Ctrl-D...}

======================================================