FL-759: debian kernels unmask