[coreboot-gerrit] Patch merged into coreboot/master: Braswell: Update the ACPI tables