rpi4: boot: Add the initial firmware file