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