minix3/kernel/arch_system.o