Should i dpkg -i kernel-power? because it doesn't want to upgrade from 46 to 47, when i just click on the deb.