Fix kernel installation when there is no firmware avalable.