"The irony is that our custom base-hw kernel actually used to keep the kernel in a dedicated virtual address space - until three months ago when we reworked the kernel to follow the main stream where the kernel is mapped in each user-level address space as privileged pages."

That hurts. Reminds me of when we finally relented and started to stream video using Flash only to have Adobe announce the end of life on Flash.