AI 300 bios 3.04 appears to break thunderbolt/USB4 dock detection

After upgrading my FW 13" AI300 to 3.04 my thunderbolt dock no longer detects.

With 3.03 it used to come alive during bios initialisation (there’s an LED on it which changes colour when it connects), and hot plug/unplug worked perfectly under Linux.

With 3.04 nothing works. It doesn’t detect during boot, Linux tries to hotplug it, fails with a very unhelpful “unknown error 0”.

[ 2894.404778] thunderbolt 0000:c3:00.6: control channel starting...
[ 2894.404806] thunderbolt 0000:c3:00.6: starting TX ring 0
[ 2894.404822] thunderbolt 0000:c3:00.6: enabling interrupt at register 0x38200 bit 0 (0x0 -> 0x1)
[ 2894.404830] thunderbolt 0000:c3:00.6: starting RX ring 0
[ 2894.404838] thunderbolt 0000:c3:00.6: enabling interrupt at register 0x38200 bit 3 (0x1 -> 0x9)
[ 2894.404850] thunderbolt 0000:c3:00.6: 0: resuming switch
[ 2894.404852] thunderbolt 0000:c3:00.6: restoring Switch at 0x0 (depth: 0, up port: 1)
[ 2894.404895] thunderbolt 0000:c3:00.6: 0: disabling wakeup
[ 2894.405390] thunderbolt 0000:c3:00.6: acking hot plug event on 0:6
[ 2894.405438] thunderbolt 0000:c3:00.6: acking hot plug event on 0:7
[ 2894.408662] thunderbolt 0000:c3:00.6: 0: TMU: supports uni-directional mode
[ 2894.408787] thunderbolt 0000:c3:00.6: 0: TMU: current mode: off
[ 2894.408791] thunderbolt 0000:c3:00.6: 0: TMU: mode change off -> bi-directional, HiFi requested
[ 2894.409309] thunderbolt 0000:c3:00.6: 0: TMU: mode set to: bi-directional, HiFi
[ 2894.409964] thunderbolt 0000:c3:00.6: 0:6: DP IN resource available after hotplug
[ 2894.409974] thunderbolt 0000:c3:00.6: looking for DP IN <-> DP OUT pairs:
[ 2894.410007] thunderbolt 0000:c3:00.6: 0:6: DP IN available
[ 2894.410011] thunderbolt 0000:c3:00.6: 0:6: no suitable DP OUT adapter available, not tunneling
[ 2894.410133] thunderbolt 0000:c3:00.6: 0:7: DP IN resource available after hotplug
[ 2894.410135] thunderbolt 0000:c3:00.6: looking for DP IN <-> DP OUT pairs:
[ 2894.410264] thunderbolt 0000:c3:00.6: 0:6: DP IN available
[ 2894.410265] thunderbolt 0000:c3:00.6: 0:6: no suitable DP OUT adapter available, not tunneling
[ 2894.410397] thunderbolt 0000:c3:00.6: 0:7: DP IN available
[ 2894.410399] thunderbolt 0000:c3:00.6: 0:7: no suitable DP OUT adapter available, not tunneling
[ 2895.753299] ucsi_acpi USBC000:00: unknown error 0

The dock is a Spigen ArcDock Pro 14.
Logs are from Linux 6.15.8.

From what I can tell this isn’t a Linux issue, and is somehow related to a bios change as the dock used to be able to connect and start charging the laptop before booting any OS.

Does anyone have a clue what’s going on?