Re: [PATCH] riscv: Fix 32-bit RISC-V boot failure