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"