MIPS: SGI-IP27: No need for kmalloc.h