[PATCH v2 1/3] riscv: obtain ACPI RSDP from FFI.

[Andrew Jones]

(This is a reply to a non-existent cover letter.)

I'm not a big fan of adding yet another interface. Have you considered
doing something like [1]?

[1] https://github.com/tianocore/tianocore.github.io/wiki/UefiPayloadPkg

Thanks,
drew