Use printf("%s" instead of fputs, since we don't have fputs in the kernel env