linux/kernel26/arch/i386/kernel/acpi
