IBM said that total cloud revenue was $7.5 billion, up 10%, and Red Hat sales were up 19%.