Fix for kernel installation