pub const FLAT_KERNEL_SS32: u32 = 57387;