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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
