Hi, I've checked old workarounds suggested in https://bugzilla.kernel.org/show_bug.cgi?id=42844 and have found, that the kernel parameter "acpi_backlight=vendor" given by Lan Brown in https://bugzilla.kernel.org/show_bug.cgi?id=42844#c4 allows my system to boot with different USB devices connected to the USB 3.0 port, with kernels 3.10.2 and 3.10.7 (probably it may also work for earlier kernels).
-- Regards, Wojtek -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
