Try installing kernel with gdebi