diff --git a/src/dev/arm/VExpressFastmodel.py b/src/dev/arm/VExpressFastmodel.py
index 63a7d8931d..8cf899436b 100644
--- a/src/dev/arm/VExpressFastmodel.py
+++ b/src/dev/arm/VExpressFastmodel.py
@@ -46,7 +46,8 @@ class VExpressFastmodel(VExpress_GEM5_Base):
         devices.remove(self.generic_timer)
         return devices
 
-    def setupBootLoader(self, cur_sys, loc):
-        super(VExpressFastmodel,self).setupBootLoader(cur_sys, loc)
-        # Override the boot_loader setting
-        cur_sys.boot_loader = [ loc('boot_v2.arm64') ]
+    def setupBootLoader(self, cur_sys, loc, boot_loader=None):
+        if boot_loader is None:
+            boot_loader = [ loc('boot_v2.arm64') ]
+        super(VExpressFastmodel, self).setupBootLoader(
+                cur_sys, boot_loader)