Update kernel parameters list to assign a serial number.

This is a minor change that enables Cuttlefish AVD to be
detected as a USB device by ADB.

BUG=64121751
Change-Id: I24f77f532cdcc2407c3df9b0f264bef4192b3444

(cherry picked from commit 4b5c02a6cd04f00a0e04a06b09ccf10d23dd5ca5)
diff --git a/ivserver/vsoc_mem.json b/ivserver/vsoc_mem.json
index 1f4fa8e..a5d3632 100644
--- a/ivserver/vsoc_mem.json
+++ b/ivserver/vsoc_mem.json
@@ -7,7 +7,8 @@
 	    "androidboot.console=ttyS0",
 	    "androidboot.hardware=vsoc",
 	    "security=selinux",
-	    "androidboot.selinux=permissive",
+      "androidboot.selinux=permissive",
+      "androidboot.serialno=CUTTLEFISHAVD_01",
 	    "enforcing=0",
 	    "audit=0",
 	    "CUTTLEFISH"