Re: kernel for mips32 ?