Re: [PATCH] riscv: boot: Always make Image from vmlinux, not vmlinux.unstripped