[coreboot-gerrit] Patch set updated for coreboot: ba8f513 X201: set default USB debug controller to 2.