Furthermore in dkms.conf you should add # linux/platform_profile.h, wmi_evaluate_method() BUILD_EXCLUSIVE_CONFIG="CONFIG_ACPI_PLATFORM_PROFILE CONFIG_ACPI_WMI"
to skip building the module on unsupported kernel configurations Andreas
Furthermore in dkms.conf you should add # linux/platform_profile.h, wmi_evaluate_method() BUILD_EXCLUSIVE_CONFIG="CONFIG_ACPI_PLATFORM_PROFILE CONFIG_ACPI_WMI"
to skip building the module on unsupported kernel configurations Andreas