pub const KERNEL_SOFT_RESTART_NOTIFICATION_VERSION: u32 = 1u32;