Removing debugging code from NIOS port

src/gos/gos_nios.c

@@ -47,12 +47,11 @@ void gfxExit(void) {
 		dummy++;
 	}
 }
-#include <stdio.h>
+
 systemticks_t gfxSystemTicks(void)
 {
 	volatile alt_u32 ticks = alt_nticks();
 
-	printf("Ticks: %d\r\n", ticks);
 	return ticks;
 }