coreboot-kgpe-d16/util/uio_usbdebug/linux
..
Makefile
uio_ehci_pci.c