I notice there is more talk about 64 bit ARM now, and it might be nice to do a port, even if just for publicity in short term (although klibc has not been ported so could use as another suggestion to replace it...)