linux: Do not use doc comment for file header comment
linux: Do not use doc comment for file header comment

xdave/pvala,severinh/vala,themiwi/vala,severinh/vala,frida/vala,GNOME/vala,Distrotech/vala,Distrotech/vala,tjol/vala-tjol,frida/vala,GNOME/vala,GNOME/vala,tjol/vala-tjol,jessevdk/vala,rvu95/vala,rvu95/vala,tjol/vala-tjol,spidermonkdust/vala,flobrosch/vala-fixes,frida/vala,kamanashisroy/aroop,Distrotech/vala,frida/vala,GNOME/vala,playya/vala,jessevdk/vala,jessevdk/vala,kamanashisroy/aroop,frida/vala,playya/vala,flobrosch/vala-fixes,spidermonkdust/vala,severinh/vala,themiwi/vala,themiwi/vala,flobrosch/vala-fixes,kamanashisroy/aroop,spidermonkdust/vala,rvu95/vala,playya/vala