[coreboot-gerrit] New patch to review for coreboot: eb83a39 exynos5: Implement support for USB 3.0 DRD PHYs/controllers