hw/riscv/virt-acpi-build.c: fix leak in build_rhct()