Re: [PATCH] configs: Remove dead CONFIG options