So build it on one of the RiscPCs.

Put a compiled kernel source into /usr/src & ln -fs linux-* linux

The compiled kernel sources are stored in source/k/compiled-sources