coreboot-kgpe-d16/src/arch/x86/acpi
..
debug.asl
globutil.asl
statdef.asl