[coreboot] X200 dock has been broken since November 2019