[coreboot] Re: X200 dock has been broken since November 2019

[Kevin Keijzer]

Hi Nico,

This change indeed fixes the redocking part. However, resuming from S3 
still causes the system to be undocked, which was not the case in 
coreboot 4.10 (and is probably not desired behaviour).

I can now physically undock and redock the X200 after resume from S3 to 
get USB back to work though, which is a lot better than having to reboot.

Also, the undock button on the side of the dock still doesn't work with 
this change, but Fn+F9 does.

So it's definitely an improvement, but not a complete fix.