Update linux.asciidoc