diff --git a/kernel/include/vx_spawn.h b/kernel/include/vx_spawn.h
index 2584b997..321e3f83 100644
--- a/kernel/include/vx_spawn.h
+++ b/kernel/include/vx_spawn.h
@@ -17,6 +17,8 @@
 #include <stdint.h>
 #include <stdio.h>
 
+#define CORES_PER_CLUSTER 2
+
 #ifdef __cplusplus
 extern "C" {
 #endif
diff --git a/kernel/src/vx_spawn.c b/kernel/src/vx_spawn.c
index c4c00a06..c57e55f2 100644
--- a/kernel/src/vx_spawn.c
+++ b/kernel/src/vx_spawn.c
@@ -15,8 +15,6 @@
 #include <vx_intrinsics.h>
 #include <inttypes.h>
 
-#define CORES_PER_CLUSTER 2
-
 #ifdef __cplusplus
 extern "C" {
 #endif