Constant CONFIG_NUMA 

pub const CONFIG_NUMA: u32 = 1;