Re: [PATCHv2] Kconfig: Remove TARGET_TRICORDER references