[PATCH v2] Respect seat assignments when assigning drm devices to server. Currently, drm devices go to whichever server can get them first.

[Jonathan Dieter]

Sorry, I thought I got the subject line changed to v2, but obviously 
missed that.  Thanks for the tip on using git send-email.  And apologies 
for missing the easy optimization.

Jonathan