[coreboot-gerrit] Patch merged into coreboot/master: dc9cfa4 lenovo/x200: Dock support