add "SCC workaround" => ignore the read function

drivers/char/stdio.c

@@ -55,6 +55,7 @@ static int null_close(fildes_t* file)
 
 static ssize_t stdio_read(fildes_t* file, uint8_t* buffer, size_t size)
 {
+#ifdef CONFIG_KEYBOARD
 	kb_buffer.buffer = kmalloc(size * sizeof(char)); 
 	kb_buffer.maxsize = size;
 	kb_buffer.size = 0;
@@ -72,6 +73,9 @@ static ssize_t stdio_read(fildes_t* file, uint8_t* buffer, size_t size)
 	//kprintf("Size: %i, offset: %i, buffer: %s", size, buffer, offset);
 	file->offset += size;
 	return size;
+#else
+	return 0;
+#endif
 }
 
 /* Write Function of a stdio device */