[coreboot-gerrit] Patch merged into coreboot/master: 80cf7d5 AMD Olive Hill: Add new AMD mainboard using Kabini processor