[coreboot] Patch merged into coreboot/master: 3c5985b sb600: Implement EHCI workaround