Constant KERNEL_IMAGE_SIZE 

pub const KERNEL_IMAGE_SIZE: u64 = _ /* 2_147_483_648u64 */;