[coreboot] [PATCH] fix acpi_tables code