fixed: compile err

packages/micropython-latest/port/mpgetcharport.c:40:5: error: unknown
type name 'uint8_t'
     uint8_t ch;

port/mpgetcharport.c

@@ -25,6 +25,7 @@
  */
 
 #include <stdio.h>
+#include <stdint.h>
 #include <rtthread.h>
 #include <rtdevice.h>
 #include <rthw.h>