x86, mce: synchronize core after machine check handling