linux-sg2042/drivers/hwtracing/Kconfig