This is a tweak to c264ef264f0936632a1603fef45c59a50369631d for D5712 . chosen_dev in the loop was only being set for DRM devices attached to PCI devices. While this is useful for determining if the device is the preferred boot_vga device, There is no apparent requirement (comparing to Weston) for all DRM devices to be attached to a PCI device. (This is considering USB DisplayLink devices. I am not sure how the parent device tree is with these...)
This looks ok to me for landing. There are some differences wrt the Weston stuff, but I don't see this change as causing any harm. Weston has the addition of checking if the 'dev' is kms-capable (which we probably want to add at some point).