Same issue here, but it doesnt matter if USB3 is enabled or disabled in BIOS. PC restarts after shutdown if WOL is enabled in BIOS.
Hardware: Dell T20, BIOS A11 OS: UEFI installed debian 8.6 with Kernel 3.16.0-4-amd64 and 4.8.0-0.bpo.2-amd64
But the written solution from above helps: Add xhci_hcd.quirks=270336 to kernel boot options After this PC doesnt restart after shutdown.
Same issue here, but it doesnt matter if USB3 is enabled or disabled in BIOS. PC restarts after shutdown if WOL is enabled in BIOS.
Hardware: Dell T20, BIOS A11
OS: UEFI installed debian 8.6 with Kernel 3.16.0-4-amd64 and 4.8.0-0.bpo.2-amd64
But the written solution from above helps: quirks= 270336 to kernel boot options
Add xhci_hcd.
After this PC doesnt restart after shutdown.