[coreboot] RFC: generating more ACPI tables at buildtime