Re: [coreboot] coreboot specific ACPI table