dde_bsd: make HDMI/DP HDA check stricter

Since QEMU might put the audio device at 00:03.0, also check if the
vendor is Intel. Hopefully we do not render HDA on real machines
useless with this changes (so far I have not encountered one).

Fixes #3263.

repos/dde_bsd/src/lib/audio/bus.cc

@@ -184,7 +184,8 @@ class Pci_driver : public Bsd::Bus_driver
 				device.bus_address(&bus, &dev, &func);
 
 				if ((device.device_id() == PCI_PRODUCT_INTEL_CORE4G_HDA_2) ||
-				    (bus == 0 && dev == 3 && func == 0)) {
+				    (device.vendor_id() == PCI_VENDOR_INTEL &&
+				     bus == 0 && dev == 3 && func == 0)) {
 					Genode::warning("ignore ", (unsigned)bus, ":", (unsigned)dev, ":",
 					                (unsigned)func, ", not supported HDMI/DP HDA device");
 					continue;