Linus Torvalds isn't worried about Microsoft taking over Linux