linux/arch/mips/dec/boot
