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, thanks to gcc builtins.

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