add vfpv4 optimizations for Krait

Conflicts:
	Makefile
makefile