Secondary processors not waking on RISC-V

On 64-bit RISC-V, with more than one core, this program does not halt:

```rust
fn main() {
	std::thread::spawn(|| {}).join().unwrap();
}
```

I suspect we do not properly wake up secondary cores. In rusty-demo, this also happens spuriously.