Constant PLATFORM_DRIVERKIT 

pub const PLATFORM_DRIVERKIT: u32 = 10;