Fix generation of the rpi-firmware and rpi-userland version files

They weren't being updated correctly, and they shouldn't have been
stored in git in the first place