Standalone simple printf implementation using GCC for ARM