x86/mm: Optimize switches to init_mm

We switch to init_mm rather frequently.  Optimize it.

Signed-off-by: Andy Lutomirski <luto@kernel.org>
2 files changed