Changes:
- c67c6df "Merge Tagged PR 9786"
- 3998c6a "Merge Tagged PR 9890"
- ce8f4da Merge pull request #9884 from liamwhite/service-cleanup
- 1f98634 Merge pull request #9855 from liamwhite/kern-16-support
- 97f7f7b kernel: be more careful about kernel address keys
- c4ba088 kernel: refactor priority inheritance to represent locks as C++ objects
- 96bd7ea kernel: simplify AddressSpaceInfo, update values
- 367e89f kernel: barrier memory before condition variable write
- 9f9b64c kernel: document previous location of interrupt disables in arbiter/condvar
- 4165ac0 kernel: adjust pool allocations