Handle IPIs correctly, or at least in the way I want them. Now only VCPU#x will receive events for its IPI.
Better implementations of VCPU status functions: quit, yield, and IsAlive.
Tweak the minimal IO manager.