[msan] A comment on ICmp handling logic.