pub const E820_RESERVED_KERN: c_uint = 128;