En ledande förgrundsfigur bakom Linux-kärnan, Greg Kroah-Hartman, blir toppchef på företagskonsortiet Linux Foundation.