adsc

Can the community do something to help fix this? What are the next steps?

I would welcome a unification of the kernels, as it's always a bit of a hassle for us to deal with the separate configs. But we don't have any production-experience...