libc: Fix Scorpion-optimized calls

Change-Id: I420fc249c5f08953d7c2407a8abb55718e253bf8

Conflicts:

	libc/arch-arm/scorpion/scorpion.mk