Re: [PATCH] Makefile: Improve generated_defconfig file handling