[PATCH v2 2/3] xenconfig: add support for 'permissive' option of a PCI device