these are the unmodified kernel sources from linux-mips.org