--- zzzz-none-000/linux-4.1.38/arch/arm64/kernel/time.c	2017-01-18 18:48:06.000000000 +0000
+++ bcm63-7582-715/linux-4.1.38/arch/arm64/kernel/time.c	2020-11-25 10:06:48.000000000 +0000
@@ -83,6 +83,13 @@
 	if (!arch_timer_rate)
 		panic("Unable to initialise architected timer.\n");
 
+#if defined(CONFIG_BCM_KF_IKOS)
+#if !defined(CONFIG_BRCM_IKOS)
+    /* Calibrate the delay loop directly */
+    lpj_fine = arch_timer_rate / HZ;
+#endif
+#else
 	/* Calibrate the delay loop directly */
 	lpj_fine = arch_timer_rate / HZ;
+#endif
 }