krait: use vfp-v4