pub const CONFIG_CONSOLE_UART_DEFAULT: u32 = 1;