[PATCH 05/33] riscv: Call riscv_user_isa_enable() only on the boot hart