[coreboot-gerrit] Patch set updated for coreboot: rockchip/rk3399: Configure USB3 controller to work in USB2 only mode