From 735847179dda4ecdd903a28388da3d5439ae0692 Mon Sep 17 00:00:00 2001
From: Ali Saidi <Ali.Saidi@ARM.com>
Date: Thu, 17 Oct 2013 10:20:45 -0500
Subject: [PATCH] arm, config: Fix a small issue with the dtb file being
 specified

---
 configs/common/FSConfig.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/configs/common/FSConfig.py b/configs/common/FSConfig.py
index 742aaca2d..780e4314c 100644
--- 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"