Linus Torvalds has no problem with Microsoft