Constant CONFIG_SGI_DECODER

Source
pub const CONFIG_SGI_DECODER: u32 = 1;