Just for clarification, updating to modern C is not at all a controversial change. It was delayed for decades due to dependency on older GCC versions, but now that this technical concern has been solved, it’s a very consensual change that will enable much better maintainability of the kernel.