"a revenue driver" seems to be the key phrase here to me. Specifically,
Gmail business model != Google Search business model
To me, killing Gmail ads doesn't necessarily kill the Gmail business model. I would think Gmail is a strategic tool in acquiring loyal Google product users (at a consumer scale) and in acquiring loyal Apps/Enterprise prospects and users (at an enterprise scale).