x86, mce: add __read_mostly