Constant GUID_KERNEL_SOFT_RESTART_FINALIZE 

pub const GUID_KERNEL_SOFT_RESTART_FINALIZE: GUID;