coreboot_table-acpi.c 2.16 KB