David Zinsner is now interim co-CEO following chief executive Pat Gelsinger's departure.