Re: [PATCH] riscv: export boot_cpu_hartid