[coreboot] Patch merged into coreboot/master: 0b00a17 ACPI: mark empty get_cst_entries() weak