gerrit-public.fairphone.software / kernel / msm-4.9 / 2ae1f49ae1978fedb6ad607e1f8b084aa9752f95 / drivers / acpi / acpi_ipmi.c