Enhance TLB coherence mechanism

[dbittman]

The current TLB coherence algorithm (implemented in #150) is rather stupid, and could be improved.

• [ ] Optimize coherence framework
  • [ ] Add support for profiling TLB code
• [ ] Investigate using PCID to reduce shootdowns
• [ ] Investigate tagging of address spaces as active to reduce shootdowns