[coreboot-gerrit] Patch set updated for coreboot: dd2460e lenovo/x230: Set xhci_switchable_ports and superspeed_capable_ports.