vfpv4 optimizations for Krait