Temporarily removed the serial echo (was causing terrible performance)

example.c

@@ -187,7 +187,8 @@ void timer_init(void) {
 
 	// Enable interrupts only for timer 0
 
-	IE = 0x82;
+	EA = 1;
+	ET0 = 1;
 }
 
 // Initializes the serial port (along with timer 2).
@@ -208,6 +209,7 @@ void serial_init(void) {
 void serial_putchar(char c) {
 	while(TI == 0);
 	SBUF = c;
+	TI = 0;
 }
 
 __bit stdout_to_lcd = 0;