x86: Properly reset PAT MSR