Re: [PATCH] [RFC] Kbuild: avoid "make tinyconfig" warnings