svs, nice work. Mind sharing your binaries here?

You can recompile a new kernel in scratchbox.

Run apt-get source kernel-source-rx-34

Actually, I plan on modding and releasing uberkernel. Be a long time before I get round to that though.