pub const FLAT_KERNEL_DS32: u32 = 57387;