Jenskinsfile: removed copying of profiles from kernel repo
Jenskinsfile: removed copying of profiles from kernel repo

hioa-cs/IncludeOS,alfred-bratterud/IncludeOS,alfred-bratterud/IncludeOS,mnordsletten/IncludeOS,hioa-cs/IncludeOS,mnordsletten/IncludeOS,alfred-bratterud/IncludeOS,mnordsletten/IncludeOS,AndreasAakesson/IncludeOS,mnordsletten/IncludeOS,AndreasAakesson/IncludeOS,AndreasAakesson/IncludeOS,hioa-cs/IncludeOS,AndreasAakesson/IncludeOS,AnnikaH/IncludeOS,hioa-cs/IncludeOS,AndreasAakesson/IncludeOS,AnnikaH/IncludeOS,AnnikaH/IncludeOS,AnnikaH/IncludeOS,mnordsletten/IncludeOS,alfred-bratterud/IncludeOS,hioa-cs/IncludeOS,alfred-bratterud/IncludeOS,mnordsletten/IncludeOS,AndreasAakesson/IncludeOS,AnnikaH/IncludeOS