core/linux-raspberrypi bump to get the latest source
alarm/raspberrypi-firmware bump to rebuild