Constant sel4_config::consts::PLAT_ODROIDC4

pub const PLAT_ODROIDC4: bool = false;