Re: [PATCH] riscv: Add a 64-bit image type