Imagine we JIT compiled syscall handlers in the kernel, based on runtime facts about known constants: https://blog.regehr.org/archives/1676
An interesting idea that's little explored since Alexia Massalin's phD. Arguably unikernels have some similarities, but compiler tech is more mature now.