[coreboot] Patch merged into coreboot/master: d0cf472 Fix the blank in acpi_tables.c