Tell GCC to not change printf to puts for kernel