Re: [RFC PATCH] Switch to including config-* instead of kernel-*.config