Constant TF_RCM_VKEY 

pub const TF_RCM_VKEY: u32 = 2u32;