K 10 svn:author V 6 mhorne K 8 svn:date V 27 2020-08-15T16:15:34.591937Z K 7 svn:log V 104 RISC-V: copy kernelname from the environment This is allows kern.bootfile to report the correct value. END