[coreboot-gerrit] Patch merged into coreboot/master: b26156e bd82x6x/xhci: Set mask of ports switchable between USB2 and USB3.