x86, mce: fix comment style in mce-inject.c