Thanks for this, looks like there is a BIOS update, I'll give it a try soon.

We have one a couple years older before USB-c and no more updated BIOS for that one though.