Remove the packages of old Linux kernels