Stephen Elop just earned himself $25 million by selling off Nokia