[PATCH] Kconfig: Remove TARGET_TRICORDER references