x86, mce: Cleanup mce_read()