/src/mainboard/technexion/tim5690/acpi/