coreboot-kgpe-d16/src/mainboard/siemens/mc_bdx1/acpi
..
mainboard.asl
platform.asl