diff --git a/libsel4/arch_include/arm/sel4/arch/constants.h b/libsel4/arch_include/arm/sel4/arch/constants.h
index b657be3fc..8237fadc9 100644
--- a/libsel4/arch_include/arm/sel4/arch/constants.h
+++ b/libsel4/arch_include/arm/sel4/arch/constants.h
@@ -16,9 +16,4 @@
 #include <sel4/sel4_arch/objecttype.h>
 #include <sel4/arch/objecttype.h>
 
-#if CONFIG_MAX_NUM_TRACE_POINTS > 0
-/* size of kernel log buffer in bytes */
-#define seL4_LogBufferSize (LIBSEL4_BIT(20))
-#endif /* CONFIG_MAX_NUM_TRACE_POINTS > 0 */
-
 #endif
diff --git a/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/constants.h b/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/constants.h
index e43789aed..4d3150ea0 100644
--- a/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/constants.h
+++ b/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/constants.h
@@ -28,4 +28,9 @@ enum {
 /* word size */
 #define seL4_WordBits (sizeof(seL4_Word) * 8)
 
+#ifdef CONFIG_ENABLE_BENCHMARKS
+/* size of kernel log buffer in bytes */
+#define seL4_LogBufferSize (LIBSEL4_BIT(20))
+#endif /* CONFIG_ENABLE_BENCHMARKS */
+
 #endif