Can I build the Cobalt kernel source with my mipsel-linux-gcc on my RedHat Linux 6.0(i385)? If do how can I config kernel?