rpi-firmware: make boot quiet