[coreboot] coreboot specific ACPI table