Arvind Krishna has already pushed group to catch up with cloud computing leaders