[coreboot] New patch to review for coreboot: 3c5985b sb600: Implement EHCI workaround