kernel/fork.c: make dup_mm() static