Microsoft makes Top 20 list of Linux kernel contributors