Constant IMAGE_HOT_PATCH_BASE_OBLIGATORY 

pub const IMAGE_HOT_PATCH_BASE_OBLIGATORY: u32 = 0x0000_0001;