ACPI batter.c from Linux Kernel 3.4