x86, mce: fix a race condition in mce_read()