add hard float, A15 tune, VFPv4 FPU