[PATCH 4.1 08/65] x86/mm, sched/core: Uninline switch_mm()