diff --git a/plat/juno/bl31_plat_setup.c b/plat/juno/bl31_plat_setup.c
index 3f29dd4..6ad8a66 100644
--- a/plat/juno/bl31_plat_setup.c
+++ b/plat/juno/bl31_plat_setup.c
@@ -30,7 +30,6 @@
 
 #include <mhu.h>
 #include <platform.h>
-#include <assert.h>
 #include <arch_helpers.h>
 #include <console.h>
 
@@ -122,22 +121,11 @@
  ******************************************************************************/
 void bl31_platform_setup(void)
 {
-	unsigned int counter_base_frequency;
-
 	mhu_secure_init();
 
 	/* Initialize the gic cpu and distributor interfaces */
 	gic_setup();
 
-	/* Read the frequency from Frequency modes table */
-	counter_base_frequency = mmio_read_32(SYS_CNTCTL_BASE + CNTFID_OFF);
-
-	/* The first entry of the frequency modes table must not be 0 */
-	assert(counter_base_frequency != 0);
-
-	/* Program the counter frequency */
-	write_cntfrq_el0(counter_base_frequency);
-
 	/* Topologies are best known to the platform. */
 	plat_setup_topology();
 }