[coreboot] Proposal: Improved ACPI generation