After commit 40ada30f, "make menuconfig" doesn't display "Tracer" item. Following modification restores it.