x86, mce: trivial clean up for mce.c