The IBM Red Hat Deal. What’s actually cooking and who’s winning?