minix3/kernel/do_sigreturn.o