minix3/kernel/do_kill.o