make ubuntu kernels work