[PATCH 6.17 114/159] x86/mm: Fix SMP ordering in switch_mm_irqs_off()