2017-06-05 2:08 GMT-06:00 Maël Lavault <mael.lavault@xxxxxxxxxxxxxxxxxxx>: > Anything I can do to help ? It is a very annoying issue for me, to > boot, I have to select an old 4.10 kernel (which takes ages since usb > is extremely slow on first boot), then reboot into a 4.11 kernel (usb > works again as it should after a reboot) with a special drm fix > (otherwise my computer freeze). Run `dmesg | grep 'DMI:'` and if the BIOS version is older than February 2017, reinstall Mac OS X and install the Sierra 10.12.5 update. That finally fixed the problem for me. -Alex -- To unsubscribe from this list: send the line "unsubscribe linux-usb" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html