[coreboot] Re: RFC: generating more ACPI tables at buildtime