[coreboot-gerrit] Patch merged into coreboot/master: 68aef11 exynos5: Implement support for USB 3.0 DRD PHYs/controllers