@pinochio, kernel-power-settings is an independent package that just happened to be updated at the same time. To upgrade the kernel, as pali says and update kernel-power-flasher.