[coreboot-gerrit] Patch merged into coreboot/master: 82e6a71 X201: Enable expresscard hotplug.