libgnustl: float=hard -> float=softfp for arm