VisionFive 2 cannot find dtb

[idlecodinggoats]

After compiling the sd image and writing it to an sd card I can start booting but I get:

Retrieving file: /boot/extlinux/../nixos/4pmgb30ammlgxlcb717d54xaz5rs58i1-linux-riscv64-unknown-linux-gnu-6.13.6-dtbs/starfive/starfive_visionfive2.dtb
Failed to load '/boot/extlinux/../nixos/4pmgb30ammlgxlcb717d54xaz5rs58i1-linux-riscv64-unknown-linux-gnu-6.13.6-dtbs/starfive/starfive_visionfive2.dtb'
Device tree not found or missing FDT support

The required file is actually (for my board) at 4pmgb30ammlgxlcb717d54xaz5rs58i1-linux-riscv64-unknown-linux-gnu-6.13.6/dtbs/starfive/jh7110-starfive-visionfive-2-v1.3b.dtb. I think this should be solvable by allowing one to pass extraConfig to uboot and in the extraConfig include CONFIG_DEFAULT_FDT_FILE starfive/jh7110-starfive-visionfive-2-v1.3b.dtb, or getting u-boot.nix to copy the required file to starfive/starfive_visionfive2.dtb. However, both of these would require selecting the board revision specifically when importing visionfive/v2 from nixos-hardware.