Place zipped Raspberry Pi OS 64bit image here.

If not otherwise specified, the build script will always use the most
recent zip file matching the file name pattern "*-raspbian.zip" or "*-rpios.zip" located
here.