doc: fix links to Linux in contribution guide