They kind of already do. The C used by the kernel team isn’t the exact same as what everyone else uses. Mainly because of the tooling they’ve built around it. I can’t remember specifics, but the tooling in place really helps out in that department.

Also, “memory safe C” is already a proposal for the C lang project.