Re: [PATCH] Kconfig: Remove TARGET_TRICORDER references