Linus Torvalds, héroe de la revolución menos pensada