[coreboot-gerrit] Patch merged into coreboot/master: 0fd6a65 Add support for XHCI (USB 3.0)