52ec4145c8
It appears there was a change to remove the list option when moving from pci_passthrough_whitelist. Instead device_spec can be specified multiple times in the file. This patch aims to resolve this whilst maintaining backwards compatibility. Change-Id: I12b38e45d7b41fbf4786d3320e511eb9127fe216 (cherry picked from commit c7a976c5841c502aec0b95d1246c4ef8cf0a163b)