arm, config: Fix a small issue with the dtb file being specified

diff --git a/configs/common/FSConfig.py b/configs/common/FSConfig.py
index 742aaca2dccb78cc13408950a793fa59ff75040e..780e4314c369bf97508180748a060b05225b6beb 100644 (file)
--- a/configs/common/FSConfig.py
+++ b/configs/common/FSConfig.py
@@ -263,8 +263,8 @@ def makeArmSystem(mem_mode, machine_type, mdesc = None,
                                      size = mdesc.mem())]
     else:
         self.kernel = binary('vmlinux.arm.smp.fb.2.6.38.8')
-        if dtb_filename is not None:
-            self.dtb_filename = dtb_filename
+        if dtb_filename:
+            self.dtb_filename = binary(dtb_filename)
         self.machine_type = machine_type
         if convert.toMemorySize(mdesc.mem()) > int(self.realview.max_mem_size):
             print "The currently selected ARM platforms doesn't support"