Interrupts in userspace

[amwatson]

We need some way for device interrupts to be delivered from the kernel to the relevant user servers via IPC. This is probably a meaty task, with a decent amount of design (I recommend referring to MINIX3)

[amwatson]

I have a setup that works in the constrained case. At some point, I'll go back and do some good design