XPS15 9550 crash when connecting TB16 dock after updating bios to 1.2.25

Hi,

I had my setup working perfectly on Arch Linux before updating my bios. The dock could be plugged and unplogged at will without crashing. After updating to the latest bios (To get the Intel ME vulnerability patch) it doesn't work anymore.

Connected on the dock:

One 1080P screen (HDMI)

Another 1080P screen (Display port)

USB mouse and keyboard

Ethernet cable

3.5mm jack to sound system

Setup that worked

Bios: 1.2.18

Kernel: 4.10.6-1-ARCH

Setup that crashes

Bios: 1.2.25

Kernel: 4.10.6-1-ARCH

Kernel: 4.10.13-1-ARCH

Expected behavior

Connecting the dock when the laptop is powered works.

Connecting the dock when the laptop is turned off and booted works

Actual behavior

Connecting the dock when the laptop is powered crashes the system

Connecting the dock when the laptop is truned off works, but mouse and keyboard don't work.

Anyone has pointers on how I could resolve this issue?

Thank you very much.