This is outdated; the RPI3 image has been removed for 13.0/14.0-CURRENT with a new RPI image that should serve all (~both) aarch64 Pi.