PKGBUILDs/alarm/raspberrypi-firmware/raspberrypi-firmware.install