Update 13.0 aarch SD card images based on actual filenames

• Add ROCK64 and ROCKPRO64
• Rename to just RPI and indicate it is for RPi 3 and 4

Reviewed by: manu
Approved by: debdrup
Sponsored by: The FreeBSD Foundation
Differential Revision: https://reviews.freebsd.org/D29490