arch_debug_serial_try_getchar
int arch_debug_serial_try_getchar(void);
int c = arch_debug_serial_try_getchar();