x86, mce: fix typo in comment in asm/mce.h