https://bugzilla.kernel.org/show_bug.cgi?id=64891
--- Comment #36 from Rafael J. Wysocki rjw@rjwysocki.net --- Yes, thanks!
It looks like on your system the device having the "switching _DSM" method has to be marked with no_hotplug.
dri-devel@lists.freedesktop.org