Hack! Build with Ubuntu gnueabihf tools

We build using arm-linux-gnueabihf-gcc as found on Ubuntu PCs. We supply our
own "minimal" libc functions.

Signed-off-by: Vincent Stehlé <v-stehle@ti.com>