add vfpv4 optimizations for Krait