profile of linux kernel developers