--- zzzz-none-000/linux-4.9.231/tools/perf/pmu-events/json.c	2020-07-22 07:10:54.000000000 +0000
+++ falcon-5530-730/linux-4.9.231/tools/perf/pmu-events/json.c	2022-08-31 08:19:50.000000000 +0000
@@ -38,7 +38,6 @@
 #include <unistd.h>
 #include "jsmn.h"
 #include "json.h"
-#include <linux/kernel.h>
 
 
 static char *mapfile(const char *fn, size_t *size)