lrdp-v2: vmlinux linux banner timestamp matching with ramdump, modified the string matching

	example: $6 = 0xffffff900fca <linux_banner> ...

Change-Id: I7fd098ea26d7e5c25590aa7c5d312a0545633686

linux-ramdump-parser-v2/gdbmi.py

@@ -302,6 +302,10 @@ class GdbMI(object):
         match = re.search(r'^[$]\d+ = \\"(.*)(\\\\n\\")', result.lines[0])
         if match:
             return match.group(1)
+        else:
+            match = re.search(r'^[$]\d+ = 0x[0-9a-fA-F]+ .* \\"(.*)(\\\\n\\")', result.lines[0])
+            if match:
+                return match.group(1)
         return None