[PATCH] x86/mm: Fix check/use ordering in switch_mm_irqs_off()