gem5: updating plaform with base params

Gem5SimulationPlatfrom was not acceping base Platform's parameters, such
as core_names, making it impossible to configure them on construction.
This is rectified in this commit.
diff --git a/devlib/platform/gem5.py b/devlib/platform/gem5.py
index 36b831a..b9fc802 100644
--- a/devlib/platform/gem5.py
+++ b/devlib/platform/gem5.py
@@ -27,11 +27,21 @@
 
 class Gem5SimulationPlatform(Platform):
 
-    def __init__(self, name, host_output_dir, gem5_bin, gem5_args, gem5_virtio,
+    def __init__(self, name,
+                 host_output_dir,
+                 gem5_bin,
+                 gem5_args,
+                 gem5_virtio,
+                 core_names=None,
+                 core_clusters=None,
+                 big_core=None,
+                 model=None,
+                 modules=None,
                  gem5_telnet_port=None):
 
         # First call the parent class
-        super(Gem5SimulationPlatform, self).__init__(name=name)
+        super(Gem5SimulationPlatform, self).__init__(name, core_names, core_cluster,
+                                                     big_core, model, module)
 
         # Start setting up the gem5 parameters/directories
         # The gem5 subprocess