different Linux distributions kernel architecture open-source licensing