drivers: some acpi drivers backport from Linux Kernel 3.4