Standalone printf implementation using GCC for ARM cores