pub const FLAT_KERNEL_CS: u32 = 57395;