x86/mm: Improve switch_mm() barrier comments