pub const XLF_KERNEL_64: u32 = 1;