diff --git a/src/cpu/BaseCPU.py b/src/cpu/BaseCPU.py
index 60c86a44f5..93cb6e0719 100644
--- a/src/cpu/BaseCPU.py
+++ b/src/cpu/BaseCPU.py
@@ -365,7 +365,7 @@ class BaseCPU(MemObject):
                 warn("Platform not found for device tree generation; " \
                      "system or multiple CPUs may not start")
 
-            freq = round(self.clk_domain.unproxy(self).clock[0].frequency)
+            freq = int(self.clk_domain.unproxy(self).clock[0].frequency)
             node.append(FdtPropertyWords("clock-frequency", freq))
 
             # Unique key for this CPU
diff --git a/src/python/m5/params.py b/src/python/m5/params.py
index 729fc1242a..1470765bbc 100644
--- a/src/python/m5/params.py
+++ b/src/python/m5/params.py
@@ -606,6 +606,9 @@ class CheckedInt(NumericParamValue):
         self.__init__(value)
         return value
 
+    def __index__(self):
+        return int(self.value)
+
     @classmethod
     def cxx_predecls(cls, code):
         # most derived types require this, so we just do it here once