revokeOp for processor allocator

[gypsephi]

The current revoke operation implementation does not suit the requirements of the processor allocator. It needs to revoke a scheduling context capability reference and then declare the thread id as unused. Both needs to be done inside the monitor of the processor allocator.