Vexriscv in its normal configuration has its own registers for things such as machine interrupts and system interrupts. Add wrappers for these registers. Signed-off-by: Sean Cross <sean@xobs.io>