Package update raspberrypi-firmware in branch sisyphus