add downloaded linux kernel