OpenBSD/ports WEB53hEsysutils/raspberrypi-firmware Makefile distinfo, sysutils/raspberrypi-firmware/pkg PLIST

   update raspberry-pi firmware to 1.20181112 the latest tagged release
   tested by and ok dtucker@
VersionDeltaFile
1.13+4-5sysutils/raspberrypi-firmware/Makefile
1.13+2-2sysutils/raspberrypi-firmware/distinfo
1.12+2-1sysutils/raspberrypi-firmware/pkg/PLIST
+8-83 files

UnifiedSplitRaw