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