sg2042evb: compiler errors

[delgh1]

sg2042evb with gcc-13-arm-none-eabi:

In file included from console.c:4:
./system.h:11:16: error: unknown type name 'uint8_t'
   11 | void uart_putc(uint8_t ch);
      |                ^~~~~~~
./system.h:1:1: note: 'uint8_t' is defined in header '<stdint.h>'; did you forget to '#include <stdint.h>'?
  +++ |+#include <stdint.h>
    1 | #ifndef __SYSTEM_H__