Chris O'Leary, the head of General Mills' operations outside the US, is to leave the Old El Paso and Cheerios maker at the end of the year.