Raspberry Pi OS (64-bit) goes to GA

Now we wait for Jeff Geerling's benchmark blog post about this.