[PATCH] riscv: export boot_cpu_hartid