You can submit the patch yourself, check out
as a reference.
Angel Pons Pons
On Mon, Aug 20, 2018, 19:22 Jorge Fernandez Monteagudo <jorgefm(a)cirsa.com>
I would like to contribute with some questions I've found trying to
running an AMD Bettong board.
Attached is a little patch to enable the SATA and to set the
domain_acpi_name... If someone could review it and upload it to
coreboot mailing list: coreboot(a)coreboot.org