fix kernel installation