Constant SEL4_BOOTINFO_HEADER_PADDING 

pub const SEL4_BOOTINFO_HEADER_PADDING: Type = 0;