[coreboot-gerrit] Patch set updated for coreboot: 9f24947 lynxpoint: Use separate SMI callback for USB XHCI routing