Constant CONFIG_CONSOLE_UART_DEFAULT 

pub const CONFIG_CONSOLE_UART_DEFAULT: u32 = 1;