add vfpv4 optimizations for Krait

Change-Id: Ic859ea9da5a3ce90ce989324afd23c458626ed97