microdroid/bootconfig.x86_64 - platform/packages/modules/Virtualization - Git at Google

 androidboot.boot_devices = pci0000:00/0000:00:04.0,pci0000:00/0000:00:05.0,pci0000:00/0000:00:06.0,pci0000:00/0000:00:07.0