ACPI from Linux Kernel 3.2