[platform] fix the dgetc signature problem
diff --git a/platform/integrator/debug.c b/platform/integrator/debug.c
index 0a2e058..1aedf8b 100644
--- a/platform/integrator/debug.c
+++ b/platform/integrator/debug.c
@@ -98,7 +98,7 @@
 	uart_putc(0, c);
 }
 
-int dgetc(char *c)
+int dgetc(char *c, bool wait)
 {
 	int result = uart_getc(0, false);