Yes, there are a number of core kernel maintainers (alongside GK-H). Last week I got to spend the week with those designing (and am now participating in) the next iteration of how keys will be managed for the kernel supply chain. Fun times.