[fedora-arm] Uboot fdtfile incorrect for Odroid XU4

I have installed fedora 31 on my Odroid XU4. However I have noticed a problem with the uboot image in uboot-images-armv7 (2019.10). I have used the uboot image /usr/share/uboot/odroid-xu3/u-boot.bin and I have found it has the fdtfile environment variable set to "exynos5422-odroid.dtb". In checking the boot partition of the fedora system the dtb directory does not contain exynos5422-odroid.dtb. My work around is to create a link from exynos5422-odroid.dtb to exynos5422-odroidxu4.dtb in the dtb directory. Another is to edit the fdtfile environment at the uboot prompt when booting the XU4. Neither of the above are really satisfactory as the link needs creating again when there is a kernel update. editing the variable at the boot prompt is even worse as it needs to be done for every boot. Is there a better way I can fix this or does the uboot-images-armv7 package need fixing? Regards Michael Whapples