Linus Torvalds became US citizen