Constant PLATFORM_FIRMWARE 

pub const PLATFORM_FIRMWARE: u32 = 13;