IBM 首席财务官：受美国政府第四季度停摆影响，红帽企业 Linux 业务增速放缓。