[coreboot] How to send a patch?

[Jorge Fernandez Monteagudo]

Hi

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 repository...

Thanks!