Re: initial displaylink kms driver + drm hotplug