Or simply a newer kernel version could do the trick

Has Carbon been used anywhere noticeable? Last time I heard of it was when Google announced it few years ago, haven’t seen anything getting written or ported to it, though I haven’t read much into it so I might have missed many news.