kernel/fork.c: simplify copy_mm()