Added the possibility to specify a list of devices that are passed to the guest