ts-7200/dist/linux24/include/acpi/platform
