You are absolutely correct. You simply install the kernel "kernel-power-flasher" or better the whole package "kernel-power-settings" and then you select or customize your configuration. According to you the uname output you're already running the kernel. What "range of kernels" do you mean?