add fileextension to rpi-bootloader.deb