RISC-V: copy kernelname from the environment
This is allows kern.bootfile to report the correct value.