coreboot-kgpe-d16/src/mainboard/siemens/mc_tcu3/acpi
..
ec.asl
mainboard.asl
superio.asl