a72a19327b92 ("x86/mm/tlb: Define LOADED_MM_SWITCHING with pointer-sized number")