CDC Group’s stake in ARM shrinks by $121 million (Kenya)