Re: [PATCH 1/2] riscv: Introduce AVAILABLE_HARTS