visionfive2: Create a bootable SD card

* Use visionfive2.wks
* Install required files on the boot partition

Signed-off-by: Alexey Firago <alexey.firago@gmail.com>

conf/machine/visionfive2.conf

@@ -55,6 +55,8 @@ UBOOT_ENTRYPOINT = "0x80200000"
 UBOOT_DTB_LOADADDRESS = "0x82200000"
 UBOOT_DTB = "1"
 UBOOT_DTB_BINARY = "starfive_visionfive2.dtb"
+SPL_BINARY = "spl/u-boot-spl.bin"
+SPL_NORMAL_BINARY = "u-boot-spl.bin.normal.out"
 
 ## wic default support
 WKS_FILE_DEPENDS ?= " \
@@ -68,7 +70,7 @@ IMAGE_BOOT_FILES ?= " \
     ${KERNEL_IMAGETYPE} \
     ${RISCV_SBI_FDT}  \
     boot.scr.uimg \
-    uEnv.txt \
+    vf2_uEnv.txt \
 "
 
-WKS_FILE ?= "beaglev.wks"
+WKS_FILE ?= "visionfive2.wks"