Re: [PATCH] riscv: Support riscv64 image type