[coreboot-gerrit] Patch set updated for coreboot: df77a93 lynxpoint: Allow to always route USB3 ports to XHCI