Merge "Use devnum#partname format instead of the part number"
diff --git a/microdroid/uboot-env.txt b/microdroid/uboot-env.txt
index cdd2c19..44b39e2 100644
--- a/microdroid/uboot-env.txt
+++ b/microdroid/uboot-env.txt
@@ -1,12 +1,10 @@
 # Static u-boot environment variables for microdroid. See b/180481192
 
 # Boot the device following the Android boot procedure
-bootcmd=boot_android virtio -
+bootcmd=boot_android virtio 0#misc
 
 # Kernel commandlines
 bootargs=rdinit=/bin/init_vendor panic=-1 androidboot.first_stage_console=1 androidboot.hardware=microdroid androidboot.boot_devices=10000.pci
 
-# 0:2 is the misc partition
-bootdevice=0:2
 bootdelay=0
 fdtaddr=0x80000000