board: raspberrypi-rpi64: rename SD card image from rpi4 to rpi64

Align the SD card image naming with the board name for consistency.

[skip ci]

Signed-off-by: Joachim Wiberg <[email protected]>

Author: troglobit

board/aarch64/raspberrypi-rpi64/README.md

@@ -51,9 +51,9 @@ admin@example:/>
 
 ### Pre-built images
 
-Pre-built SD card images are available here: [infix-rpi4-sdcard.img][sdcard]
+Pre-built SD card images are available here: [infix-rpi64-sdcard.img][sdcard]
 
 [0]: https://www.raspberrypi.com/products/raspberry-pi-touch-display/
-[1]: https://github.com/kernelkit/infix/releases/download/latest-boot/infix-rpi4-sdcard.img
+[1]: https://github.com/kernelkit/infix/releases/download/latest-boot/infix-rpi64-sdcard.img
 [2]: https://kernelkit.org/infix/latest/container/#content-mounts
 [3]: https://kernelkit.org/infix/latest/scripting-restconf/

board/aarch64/raspberrypi-rpi64/genimage.cfg.in

@@ -29,7 +29,7 @@ image var.ext4 {
 	}
 }
 
-image #INFIX_ID##VERSION#-rpi4-sdcard.img {
+image #INFIX_ID##VERSION#-rpi64-sdcard.img {
 	hdimage {
 		partition-table-type = "hybrid"
 	}