[coreboot-gerrit] Patch set updated for coreboot: 17b1d19 uio_usbdebug: User-space-i/o framework for usbdebug