K 10 svn:author V 7 dchagin K 8 svn:date V 27 2013-05-10T06:42:06.665701Z K 7 svn:log V 305 Fix a bug introduced in r249442. Copying in linux_newuname() vdso symbol linux_platform to the user space leads linuxulator to panic because linux_platform already is mapped into the process address space. To avoid panic add the linux_kplatform pointer which is referenced to a kernel mapped vdso symbol. END