minix3/kernel/do_copy.o