[coreboot] Re: Proposal: Improved ACPI generation