Why not C style the Kernel?
I am a bit surprised this discussion even had to be started.
Solaris has been C style clean for decades and hooks are used to prevent any push into the tree that does not pass the C style checker.
Presumably the kernel could be C style cleaned up and new integrations automatically blocked unless the changes were also C style clean.
I am somewhat surprised that the Linux Kernel people haven't been doing this all along.