diff --git a/include/configs/P4080DS.h b/include/configs/P4080DS.h
index 87703c98b3c1724b0196d9674c820168a829a928..21b48e9c46bca6d873d901d93b0ed2e710fd7489 100644
--- a/include/configs/P4080DS.h
+++ b/include/configs/P4080DS.h
@@ -33,6 +33,8 @@
 #define CONFIG_SYS_NUM_FM2_10GEC	1
 #define CONFIG_NUM_DDR_CONTROLLERS	2
 
+#define CONFIG_ICS307_REFCLK_HZ		33333000  /* ICS307 ref clk freq */
+
 #define CONFIG_SYS_P4080_ERRATUM_CPU22
 #define CONFIG_SYS_P4080_ERRATUM_SERDES8
 
diff --git a/include/configs/corenet_ds.h b/include/configs/corenet_ds.h
index c5dcdcac8dc4f0fabe6ae42dbb0350953d06206b..454a30a040c4528c1af9e90729e4f08b747d31db 100644
--- a/include/configs/corenet_ds.h
+++ b/include/configs/corenet_ds.h
@@ -68,7 +68,6 @@
 #endif
 
 #define CONFIG_SYS_CLK_FREQ	get_board_sys_clk() /* sysclk for MPC85xx */
-#define CONFIG_ICS307_REFCLK_HZ	33333000  /* ICS307 clock chip ref freq */
 
 /*
  * These can be toggled for performance analysis, otherwise use default.