/srcpkgs/rpi-usbboot/patches/