* Fixed kernel installation