Re: [PATCH] Makefile: Add a warning about ad-hoc CONFIG options