[coreboot] Re: Currently broken devicetrees (was Re: X200 dock has been broken since November 2019)