I could be wrong, but I don't think NaCl is portable anywhere but x86 or x86_64. ARM needs good crypto too. Though I suppose we could ask for ARM support in NaCl too since we're asking for ponies :)
Also, does NaCl support signing? I think crypto_box offers "authentication" which is a slightly different promise.