X200: Resume from S3 undocks and breaks USB
Since coreboot 4.11, resuming my X200 from S3 while docked will undock it immediately after waking up, like when the button on the side of the dock or Fn+F9 would be pressed. Because of this, all USB devices connected to the dock will stop working.
The machine has to be rebooted to get the dock working again. Physically undocking and redocking does not help.
I have tested coreboot 4.12 today, and the bug is still present. In coreboot 4.10, everything is working fine. Resuming from S3 will not undock the X200 there, and all devices keep working.
My guess is that an ACPI call is done that shouldn't be, or something related to the ACPI dock handling has been changed between coreboot 4.10 and 4.11.