FL-1548: debian kernels update