diff --git a/config/Config-kernel.in b/config/Config-kernel.in
index 5e12ddd78d8..4106d924988 100644
--- a/config/Config-kernel.in
+++ b/config/Config-kernel.in
@@ -81,6 +81,11 @@ config KERNEL_PROFILING
 	  Enable the extended profiling support mechanisms used by profilers such
 	  as OProfile.
 
+config KERNEL_RPI_AXIPERF
+	bool "Compile the kernel with RaspberryPi AXI Performance monitors"
+	default y
+	depends on KERNEL_PERF_EVENTS
+
 config KERNEL_UBSAN
 	bool "Compile the kernel with undefined behaviour sanity checker"
 	help