ts-7500/dist/linux-2.6.24-cavium/arch/x86/kernel/acpi
