Dave Witbrodt wrote: > First, would one (or more) of the Debian Kernel Team be willing to > help with this, or should I take this to LKML instead. The MAINTAINERS file tells me you might want to send your RFC/patch to linux-kbuild@vger.kernel.org (no subscription needed, as usual). Feel free to cc me and Max so we can look at it. Thanks, Jonathan