fn kernel_runtime_end( load_gpa: u64, image_size: u64, bzimage_runtime: Option<(u64, u64)>, ) -> Result<u64>