Microsoft contributes a lot of changes to Linux kernel 3.0