Fix kernel installation.