[coreboot] [PATCH]Fix ACPI in HIGH-and-LOW tables configuration