... A final question: is there a version of the kernel-power-settings package which is compatible with this kernel?