pub const XEN_ELFNOTE_MAX: u32 = 18;