Ah, someone would have to build a version of Kali specifically for the Pi based on Raspbian. That's disappointing. (yes I know there are alternatives designed for the Pi that probably use the FPU).