Constant SEL4_BOOTINFO_HEADER_FDT 

pub const SEL4_BOOTINFO_HEADER_FDT: Type = 6;