pub const FLAT_KERNEL_CS64: u32 = 57395;