Add a RISC-V RTOS, which natievly supports multiple harts

This is a work in progress, but it's at the point where you can actually
debug multi-hart programs now.