I wrote:
> So at this point I intend to proceed roughly accoring to my original
> plan, and you can always take on this other project separately.
The changes have now been committed. I cross-compiled hpcarm, hpcmips,
and hpcsh kernels successfully, but I have no way of testing them.