pisilinux-dev-tools: fix patch