diff --git a/kern/linux/linux_system.cc b/kern/linux/linux_system.cc
index a9c92b54a9..5fa72735c2 100644
--- a/kern/linux/linux_system.cc
+++ b/kern/linux/linux_system.cc
@@ -132,8 +132,9 @@ LinuxSystem::LinuxSystem(Params *p)
 
     skipDelayLoopEvent = new LinuxSkipDelayLoopEvent(&pcEventQueue,
                                                      "calibrate_delay");
-    if (kernelSymtab->findAddress("calibrate_delay", addr))
-        skipDelayLoopEvent->schedule(addr+sizeof(MachInst));
+    if (kernelSymtab->findAddress("calibrate_delay", addr)) {
+        skipDelayLoopEvent->schedule(addr + 3 * sizeof(MachInst));
+    }
 
     skipCacheProbeEvent = new SkipFuncEvent(&pcEventQueue,
                                             "determine_cpu_caches");