Re: [PATCH 08/12] Kconfig: Remove some symbols from the whitelist