[coreboot] New patch to review for coreboot: 88ae3d3 Fix the blank in acpi_tables.c