pub const FLAT_KERNEL_SS64: u32 = 57387;