NaCl for ARM isn't shipping, is it? Last I heard, there were some serious issues with it, but that may have changed (I hope!).