Booting the example fails with the default value of acpi="on":
sysfs: cannot create duplicate filename '/devices/pci0000:00/0000:00:01.1/resource0'
The problem does not occur for acpi="off".
Directory acpi_tables/ contains the ACPI tables generated by qemu-system-riscv64 1:10.2.1+ds-1ubuntu3.
The ACPI tables were downloaded by acpidump.efi as provided by https://lore.kernel.org/u-boot/20260521185025.30857-4-heinrich.schuchardt@canonical.com/T/#u and disassembled with iASL.