[coreboot-gerrit] Patch set updated for coreboot: 4bf8980 bd82x6x/xhci: Set mask of ports switchable between USB2 and USB3.