diff --git a/firmware/system.c b/firmware/system.c
index badeb30e84..a3a354f713 100644
--- a/firmware/system.c
+++ b/firmware/system.c
@@ -36,10 +36,6 @@ long cpu_frequency NOCACHEBSS_ATTR = CPU_FREQ;
 static int boost_counter NOCACHEBSS_ATTR = 0;
 static bool cpu_idle NOCACHEBSS_ATTR = false;
 
-#if NUM_CORES > 1
-struct mutex boostctrl_mtx NOCACHEBSS_ATTR;
-#endif
-
 int get_cpu_boost_counter(void)
 {
     return boost_counter;
diff --git a/firmware/target/arm/system-pp502x.c b/firmware/target/arm/system-pp502x.c
index afffcd9283..1fe5860fb9 100644
--- a/firmware/target/arm/system-pp502x.c
+++ b/firmware/target/arm/system-pp502x.c
@@ -30,6 +30,10 @@
 
 unsigned int ipod_hw_rev;
 
+#if NUM_CORES > 1
+struct mutex boostctrl_mtx NOCACHEBSS_ATTR;
+#endif
+
 #ifndef BOOTLOADER
 extern void TIMER1(void);
 extern void TIMER2(void);