x86, mce: improve documentation