coreboot-kgpe-d16/src/soc/intel/alderlake/acpi
..
gpio.asl