mct-mips/linux/arch/mips64/sgi-ip32
