coreboot-kgpe-d16/src/ec/acpi/Kconfig