pub const FLAT_KERNEL_CS32: u32 = 57379;